Interactive Proving, Tactic Composition, Proof Automation, Mathlib
Thinking About Simplification
kevquirk.com·12h
Thinking Thursday: Oliver Wendell Holmes, Jr.
denisegaskins.com·3d
mpaland/printf
github.com·2d
Merge-of-Thought Distillation
arxiv.org·3d
Loading...Loading more...