nilehmann/NoAxiom
Coq plugin to verify axioms assumptions of terms
Public GitHub Catalog
Discovered Sep 27, 2026
nilehmann / Online-Judge-Solutions
Solutions to ACM ICPC - style problems
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.
#10111502GitHub System ID
nilehmannOrganization / User
PublicVisibility
ActiveCatalog Status
More from nilehmann
nilehmann/coquille
Interactive theorem proving with Coq in vim.
nilehmann/cms
Contest Management System
nilehmann/k2tdb
Regular Path Queries for Graph Databases using k2trees.