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

 (firstsynth.dev)

2 points | by thingltd 8 hours ago ago

1 comments