mathematics_in_lean icon indicating copy to clipboard operation
mathematics_in_lean copied to clipboard

verified publisher icon leanprover-community
→

Metadata

The user home repository for the Mathematics in Lean tutorial.

Results 0 mathematics_in_lean issues
Sort by recently updated
recently updated
newest added

← Metadata

167
Stars
121
Forks
Watchers

Owner

verified publisher icon leanprover-community

Metadata

The user home repository for the Mathematics in Lean tutorial.

Back