pruvisto/isa_playground
A smörgåsbord of random Isabelle theories
Public GitHub Catalog
Discovered Sep 30, 2026
pruvisto / isabellehol_gcd
New GCD.thy for Isabelle/HOL
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.
#17922282GitHub System ID
pruvistoOrganization / User
PublicVisibility
ActiveCatalog Status
More from pruvisto
pruvisto/measure_stuff
Small additions to Isabelle's Measure Theory library
pruvisto/heap
A flexible Haskell implementation of minimum, maximum, minimum-priority, maximum-priority and custom-ordered heaps.
pruvisto/mockio
A pure implementation of a fragment of Haskell's IO actions for testing purposes