Monist, a WebGPU compiler for non-well-founded set theory

• Posted 2 hours ago by thingltd
• 1 points