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

(firstsynth.dev)

2 points | by thingltd 10 hours ago

1 comments