Skip to content

Latest commit

 

History

History
3 lines (2 loc) · 39 Bytes

ProvingTrivialGoals.md

File metadata and controls

3 lines (2 loc) · 39 Bytes

How to Prove 'Trivial' Goals

(todo)