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

(firstsynth.dev)

2 points | by thingltd 9 hours ago ago

1 comments