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

1 points | by thingltd 2 hours ago

1 comments