nowfound

Launches for “alternative to dependently typed language for proofs that you can implement in one day”

402,058 launches indexed

Try: · · · · ·