Nicolas Dalton

icon location Engineer, programmer, Arduino and C++ enthusiast

Results 1 issues of Nicolas Dalton

Typos intro.lean

_Linen 218_ "The proof is produced the rfl inference rule." Presumably is "The proof is produced **with** the rfl inference rule." _Line 224_ "rule rule ..." _Line 233_ "... Checke...