Interactive Proving, Tactic Composition, Proof Automation, Mathlib
DF/IR Isn’t About Computers. It’s About Hunting Humans.
brettshavers.com·2h
A non-digital service example of working in the open
blog.ldodds.com·1d
Loading...Loading more...
Interactive Proving, Tactic Composition, Proof Automation, Mathlib