Monist, a WebGPU compiler for non-well-founded set theory(firstsynth.dev)
1 pointby thingltdan hour ago1 comment