haselwarter/martin-lof
papers of Per Martin Löf
Public GitHub Catalog
Discovered Oct 20, 2026
haselwarter / hol-light
Automatically exported from code.google.com/p/hol-light
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.
#40187773GitHub System ID
haselwarterOrganization / User
PublicVisibility
ActiveCatalog Status
More from haselwarter
haselwarter/multiple-cursors.el
Multiple cursors for emacs.
haselwarter/andromeda-opam
Public repository.
haselwarter/sedlex
An OCaml lexer generator for Unicode