lisa-dou/UML2Coq
metamodeling level transform tools from UML specification to Coq specification
Public GitHub Catalog
Discovered Sep 26, 2026
lisa-dou / Mechanized-SD
Towards Mechanized Semantics of UML SD and refinement relation
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#6075232GitHub System ID
lisa-douOrganization / User
PublicVisibility
ActiveCatalog Status
More from lisa-dou
lisa-dou/VerifySD
Verification of UML Sequence Diagrams in Coq
lisa-dou/software-foundation-2012
My exercises in a "Software Foundations" course. Refer to http://www.cis.upenn.edu/~bcpierce/sf/ . The course is about the foundations of programming languages, using Coq.
lisa-dou/pattern-spec
Public repository.