pruvisto/isabellehol_gcd
New GCD.thy for Isabelle/HOL
Public GitHub Catalog
Discovered Sep 27, 2026
pruvisto / lightpaste
A lightweight CGI-based paste bin written in Haskell
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#10713565GitHub System ID
pruvistoOrganization / User
PublicVisibility
ActiveCatalog Status
More from pruvisto
pruvisto/haskell_playground
Small, random mini-projects in Haskell
pruvisto/sturm
A formalisation of Sturm's theorem in Isabelle with an executable decision procedure
pruvisto/TRS
A simple term rewriting engine written in Haskell