Interactive Proving, Tactic Composition, Proof Automation, Mathlib
Tooling for Maintaining YAML Files
stuartellis.name·3d
How can I get my shell thumbnail extractors to run in the same process?
devblogs.microsoft.com·13h
Loading...Loading more...
Interactive Proving, Tactic Composition, Proof Automation, Mathlib