sighingnow/amazing-coq
WHAT I have done on the road to Coq language and certified programming.
Stars: 8Language: Coq
Give AlbumentationsX a star on GitHub — it powers this leaderboard
Star on GitHubWHAT I have done on the road to Coq language and certified programming.