Stories by caotic123

A tiny Python library/DSL to construct Python formal models

I am selling a lambda expression as an NFT

Show HN: Dependently typed language for proofs that you can implement in one day