Geeks
ImperialCollegeLondon
/
M1P1-lean
Material from M1P1, formalised in Lean
Primary Language
Lean
Apache License 2.0
Apache-2.0
M1P1-lean GitHub
Markdown
Readme
0
Issues
14
Stargazers
5
Watchers
Stargazers
Alexsaphir
France
benlmyers
@Poppin-Technologies
bryangingechen
chenjulang
Donidutch
gonzalgu
holtzermann17
Hyperreal Enterprises, Ltd.
jiaminglimjm
Selangor, Malaysia
mattearnshaw
Tallinn University of Technology
PatrickMassot
Paris
stanescuUW
University of Wyoming
universemaster
utensil
yasutak
JOSYS INC.