| .. |
|
midterm_project_copy-for-oral-exam.v
|
feat: backup
|
2024-05-08 16:20:16 +08:00 |
|
midterm-project.v
|
feat: sem7
|
2025-08-10 19:46:26 +08:00 |
|
question-for-Yadunand-Prem-midterm.txt
|
feat: backup
|
2024-05-08 16:20:16 +08:00 |
|
question-for-Yadunand.v
|
feat: add finals questions
|
2024-05-07 00:01:39 +08:00 |
|
term-project.v
|
feat: add finals questions
|
2024-05-07 00:01:39 +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 |
|
week-03_specifications.v
|
feat: 3234 week 3
|
2024-02-13 17:04:53 +08:00 |
|
week-03_structural-induction-over-binary-trees.v
|
feat: fix week 3
|
2024-02-15 16:16:09 +08:00 |
|
week-03_structural-induction-over-Peano-numbers.v
|
feat: 3234 week 3
|
2024-02-13 17:04:53 +08:00 |
|
week-03_the-exists-tactic.v
|
feat: 3234 week 3
|
2024-02-13 17:04:53 +08:00 |
|
week-03_the-rewrite-tactic.v
|
feat: 3234 week 3
|
2024-02-13 17:04:53 +08:00 |
|
week-04_backward-and-forward-proofs.v
|
feat: 3234 week 4
|
2024-02-20 11:31:16 +08:00 |
|
week-04_equational-reasoning-about-arithmetical-functions.v
|
feat: 3234 week 4
|
2024-02-20 11:31:16 +08:00 |
|
week-04_equational-reasoning.v
|
feat: 3234 week 4
|
2024-02-20 11:31:16 +08:00 |
|
week-04_more-about-soundness-and-completeness.v
|
feat: 3234 week 4
|
2024-02-20 11:31:16 +08:00 |
|
week-04_proving-the-soundness-of-unit-tests.v
|
feat: 3234 week 4
|
2024-02-20 11:31:16 +08:00 |
|
week-04_specifications-that-depend-on-other-specifications.v
|
feat: 3234 week 4
|
2024-02-20 11:31:16 +08:00 |
|
week-05_eqn-and-remember.v
|
feat: 3234 week 5 wip
|
2024-02-20 11:31:26 +08:00 |
|
week-05_induction-and-induction-proofs-a-recapitulation.v
|
feat: 3234 week 5 wip
|
2024-02-20 11:31:26 +08:00 |
|
week-05_mystery-functions.v
|
feat: 3234 current midterms progress
|
2024-02-28 23:27:25 +08:00 |
|
week-05_reasoning-about-lambda-dropped-functions.v
|
feat: 3234 week 5 wip
|
2024-02-20 11:31:26 +08:00 |
|
week-06_a_simple_problem.v
|
feat: backup
|
2024-05-08 16:20:16 +08:00 |
|
week-06_ex-falso-quodlibet.v
|
feat: backup
|
2024-05-08 16:20:16 +08:00 |
|
week-06_miscellany.v
|
feat: backup
|
2024-05-08 16:20:16 +08:00 |
|
week-06_soundness-and-completeness-of-equality-predicates.v
|
feat: backup
|
2024-05-08 16:20:16 +08:00 |
|
week-07_isometries3.v
|
feat: backup
|
2024-05-08 16:20:16 +08:00 |
|
week-07_soundness-and-completeness-of-equality-predicates-revisited.v
|
feat: backup
|
2024-05-08 16:20:16 +08:00 |
|
week-09_formalizing-two-by-two-matrices.v
|
feat: backup
|
2024-05-08 16:20:16 +08:00 |
|
week-10_a-fibonacci-structure.v
|
feat: backup
|
2024-05-08 16:20:16 +08:00 |
|
week-10_the-abstraction-and-instantiation-of-Eureka-lemmas-about-resetting-the-accumulator.v
|
feat: backup
|
2024-05-08 16:20:16 +08:00 |
|
week-11_induction-principles.v
|
feat: sem7
|
2025-08-10 19:46:26 +08:00 |
|
week-13_a-continuation-based-interpreter.v
|
feat: backup
|
2024-05-08 16:20:16 +08:00 |
