Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

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