software-foundations topic

List software-foundations repositories

plfl

48
Stars
5
Forks
Watchers

Learn Lean 4 with PLFA proofs.

verified publisher icon rami3l