paulcc/simple-resolution-prover
Public repository.
Public GitHub Catalog
Discovered Sep 25, 2026
paulcc / paulcc.github.com
blog
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.
#4945103GitHub System ID
paulccOrganization / User
PublicVisibility
ActiveCatalog Status
More from paulcc
paulcc/argh
Ambiguous Ruby Grammar in Haskell
paulcc/fay
A proper subset of Haskell that compiles to JavaScript
paulcc/ruby-refactoring
This is RASH (Ruby AnalysiS in Haskell) -- it's going to be all over your code! I aim to get it to do various static analyses, type checking, and refactoring on Ruby. It is being morphed from https://github.com/paulcc/minijava-compiler. Contributions welcome! I'm also very happy to explain things if people ask. (NOTE: I'd rather write this in Agda, but one step at a time...)