G

Ground

Project information

Ground (Generic and Reusable Organized Useful Natural Definitions) A usefull extension to Coq's standard library

19 Commits
4 Branches
1 Tag
1 Release

README

Created on

December 11, 2021

Loading