Explanation: Induction, pattern matching, fixed points#86

patrick-nicodemus wants to merge 1 commit into

rocq-prover:mainrocq-prover/platform-docs:mainfrom

patrick-nicodemus:induction-explanationpatrick-nicodemus/platform-docs:induction-explanationCopy head branch name to clipboard