jianqili/nyc-hug-oct2014
Repo for code from my NYC Haskell Users' Group talk on Oct. 24, 2014
Public GitHub Catalog
Discovered Sep 26, 2026
jianqili / FingerProver
Theorem prover on which proof can be developed by finger tips dragging, represented in visualized interface.
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.
#7010260GitHub System ID
jianqiliOrganization / User
PublicVisibility
ActiveCatalog Status
More from jianqili
jianqili/verification-manifest
Manifests for the collection of verification repositories
jianqili/isabelle
git mirror of the Munich isabelle hg repository
jianqili/seL4
The seL4 microkernel