This is stars and forks stats for /coq-community/lemma-overloading repository. As of 28 Mar, 2024 this repository has 26 stars and 6 forks.
Lemma Overloading This project contains Hoare Type Theory libraries which demonstrate a series of design patterns for programming with canonical structures that enable one to carefully and predictably coax Coq's type inference engine into triggering the execution of user-supplied algorithms during unification, and illustrates these patterns through several realistic examples drawn from Hoare Type Theory. The project also contains typeclass-based re-implementations for comparison. Meta Author(s): Georges...
Lemma Overloading This project contains Hoare Type Theory libraries which demonstrate a series of design patterns for programming with canonical structures that enable one to carefully and predictably coax Coq's type inference engine into triggering the execution of user-supplied algorithms during unification, and illustrates these patterns through several realistic examples drawn from Hoare Type Theory. The project also contains typeclass-based re-implementations for comparison. Meta Author(s): Georges...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
ShiniGandhi/JellyTheme | CSS | 62 | 0 | 13 | 0 |
sefyudem/Sliding-Sign-In-Sign-Up-Form | CSSHTMLJavaScript | 717 | 0 | 655 | 0 |
samih93/e_commerce_app | DartOther | 63 | 0 | 28 | 0 |
jyotirmoy-paul/planets | DartC++CMake | 85 | 0 | 32 | 0 |
nebulatgs/zeppelin-railway | DockerfileJavaScript | 4 | 0 | 18 | 0 |
dhvitOP/AnimeEZ | CSSEJSJavaScript | 97 | 0 | 53 | 0 |
eigr/massa | ElixirShellDockerfile | 54 | 0 | 5 | 0 |
gren-lang/gren-lang.github.io | ElmCSSJavaScript | 15 | 0 | 5 | 0 |
emacs-ess/ESS | Emacs LispROther | 606 | 0 | 181 | 0 |
alfonsogarciacaro/Feliz.Solid | F#Other | 48 | 0 | 1 | 0 |