8 kyu

Theorem proving hello world: prove a+0=a and 0+a=a

165 of 379ice1000
Description
Loading description...
Theorem Proving
Fundamentals
View
AllIssuesQuestionsSuggestionsShow Resolved
Ad
Ad