software_foundations
My solutions to Software Foundations course in Coq proof assistant.
30 stars
3 watching
16 forks
Language: Coq
last commit: 3 months ago software_foundations My solutions to Software Foundations course in Coq proof assistant.