palmskog

palmskog

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
9 Stars
2 Forks
9 Watchers

Repositories (2)

fitch palmskog/fitch Standard ML

Certified proof checker for Fitch-style propositional logic proofs

6
chip palmskog/chip Coq

Change impact analysis in Coq and OCaml

3