coq-community/lemma-overloading

Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]

CoqJavaScriptCSSHTMLOtherautomationcoqtypeclassesssreflectpaper-artifactscanonical-structuresmathcomp
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...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
ShiniGandhi/JellyThemeCSS620130
sefyudem/Sliding-Sign-In-Sign-Up-FormCSSHTMLJavaScript71706550
samih93/e_commerce_appDartOther630280
jyotirmoy-paul/planetsDartC++CMake850320
nebulatgs/zeppelin-railwayDockerfileJavaScript40180
dhvitOP/AnimeEZCSSEJSJavaScript970530
eigr/massaElixirShellDockerfile54050
gren-lang/gren-lang.github.ioElmCSSJavaScript15050
emacs-ess/ESSEmacs LispROther60601810
alfonsogarciacaro/Feliz.SolidF#Other48010