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

2 points | by thingltd 9 hours ago

1 comments