https://github.com/rocq-community/lemma-overloading
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
https://github.com/rocq-community/lemma-overloading
automation canonical-structures coq mathcomp paper-artifacts ssreflect typeclasses
Last synced: 24 days ago
JSON representation
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- Host: GitHub
- URL: https://github.com/rocq-community/lemma-overloading
- Owner: rocq-community
- License: other
- Created: 2016-04-27T14:27:14.000Z (about 10 years ago)
- Default Branch: master
- Last Pushed: 2026-02-28T23:23:00.000Z (2 months ago)
- Last Synced: 2026-03-01T01:46:09.002Z (2 months ago)
- Topics: automation, canonical-structures, coq, mathcomp, paper-artifacts, ssreflect, typeclasses
- Language: Rocq Prover
- Homepage: https://coq-community.org/lemma-overloading/
- Size: 1.13 MB
- Stars: 27
- Watchers: 8
- Forks: 6
- Open Issues: 3
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE.md