ccodel

First-year formal methods PhD student at Carnegie Mellon University.

Pinned Repositories

EmptyHexagonLean
Code related to the Lean verification of the empty hexagon theorem
Language:Lean9 6 00
autotab
Language:Python00
ddfw
A continuous implementation of DDFW
Language:C00
dsr-trim
Substitution redundancy SAT proof trimming, labeling, and checking
Language:C00
mcserver
A server build for Herobraine
Language:Shell01
meme_hunt
Django website for WashU's Meme Hunt Club
Language:CSS00
sr-benchmarking
Benchmarking artifact for verified SR checking
Language:Shell00
verified-encodings
Verifying encodings into propositional logic in Lean
Language:Lean11 2 01
trestle
Language:Lean17 5 82
BiPartGen-Artifact
Generates formulas for bipartite perfect matching problem under various encoding and constraint options. Artifact corresponds with implementation and experiments in the paper submission (SAT21)
Language:C00

ccodel's Repositories

ccodel/verified-encodings
Verifying encodings into propositional logic in Lean
Language:Lean11 2 01
ccodel/autotab
Language:Python00
ccodel/ddfw
A continuous implementation of DDFW
Language:C00
ccodel/dsr-trim
Substitution redundancy SAT proof trimming, labeling, and checking
Language:C00
ccodel/mcserver
A server build for Herobraine
Language:Shell01
ccodel/meme_hunt
Django website for WashU's Meme Hunt Club
Language:CSS00
ccodel/sr-benchmarking
Benchmarking artifact for verified SR checking
Language:Shell00