CoqCP
We combat sloppy arguments in competitive programming and raise the standard of rigor
23 stars
2 watching
2 forks
Language: Coq
last commit: 8 days ago CoqCP We combat sloppy arguments in competitive programming and raise the standard of rigor