8 kyu

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

164 of 377ice1000
Description
Loading description...
Theorem Proving
Fundamentals
View
AllIssuesQuestionsSuggestionsShow Resolved
Ad
Ad