falso

A proof of false in Coq.

GitHub

92 stars
5 watching
1 forks
Language: Coq
last commit: almost 5 years ago