janishutz e7da5ab70e [FMFP] Improved explanation of induction on shape of proof trees

2026-07-20 16:46:47 +02:00

..

00_intro.tex

[FMFP] Exam notes for FP almost complete

2026-07-13 13:07:12 +02:00

01_mathematical-induction.tex

[FMFP] Start condensed induction proofs summary

2026-07-06 13:17:30 +02:00

02_structural-induction.tex

[FMFP] Exam notes for FP almost complete

2026-07-13 13:07:12 +02:00

03_induction-on-trees.tex

[FMFP] First rework complete

2026-07-06 15:23:34 +02:00

04_other-induction.tex

[FMFP] First rework complete

2026-07-06 15:23:34 +02:00

05_induction-on-proof-trees.tex

[FMFP] Improved explanation of induction on shape of proof trees

2026-07-20 16:46:47 +02:00

06_induction-on-derivation-sequence.tex

[FMFP] Mostly finish exercises section

2026-07-14 14:44:07 +02:00

07_workflow.tex

[FMFP] Mostly finish exercises section

2026-07-14 14:44:07 +02:00