toelli-msft lean4 issues - Githubissues

toelli-msft / lean4

Lean4 work in progress repo

Apache License 2.0

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Incorrect syntax in funabst.md?

#13 toelli-msft opened 3 years ago
1
The notation `x <- action`

#12 toelli-msft opened 3 years ago
0
operatior

#11 toelli-msft opened 3 years ago
0
the macro dbgTrace! should be use for debugging purposes only .

#10 toelli-msft opened 3 years ago
0
it would an unreasonable amount of time

#9 toelli-msft opened 3 years ago
0
Lean will start type class synthesizer

#8 toelli-msft opened 3 years ago
0
When a type class have multiple ...

#7 toelli-msft opened 3 years ago
0
Should be elaborates

#6 toelli-msft opened 3 years ago
0
tyhe

#5 toelli-msft opened 3 years ago
0
Grammar

#4 toelli-msft opened 3 years ago
0
arbitraryt

#3 toelli-msft opened 3 years ago
0
Typo

#2 toelli-msft opened 3 years ago
0
Incorrect case?

#1 toelli-msft opened 3 years ago
1