plfl icon indicating copy to clipboard operation
plfl copied to clipboard

Published 20 hours ago • verified publisher icon rami3l
→

Metadata

Learn Lean 4 with PLFA proofs.

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

← Metadata

48
Stars
5
Forks
Watchers

Owner

verified publisher icon rami3l

Metadata

Learn Lean 4 with PLFA proofs.

Back