Yadunand Prem 6482186773 feat: 3234 week 2

2024-02-04 15:40:50 +08:00

..

week-01_functional-programming-in-Gallina.v

feat: 3234 week 2

2024-02-04 15:40:50 +08:00

week-01_getting-started.v

feat: 3234 WIP

2024-01-24 09:23:50 +08:00

week-01_polymorphism.v

feat: 3234 week 2

2024-02-04 15:40:50 +08:00

week-02_exercises.v

feat: 3234 week 2

2024-02-04 15:40:50 +08:00

week-02_formalizing-a-proof-in-tcpa.v

feat: 3234 week 2

2024-02-04 15:40:50 +08:00

week-02_proving-logical-properties.v

feat: 3234 week 2

2024-02-04 15:40:50 +08:00

week-02_the-intro-tactic.v

feat: 3234 week 2

2024-02-04 15:40:50 +08:00

week-02_the-revert-tactic.v

feat: 3234 week 2

2024-02-04 15:40:50 +08:00