programming-language-foundations topic

List programming-language-foundations repositories

plfl

48
Stars
5
Forks
Watchers

Learn Lean 4 with PLFA proofs.

verified publisher icon rami3l