G github.com Show HN: Dependently typed language for proofs that you can implement in one day 138 points caotic123 5 years ago 96 comments
