GitHub repository: onestruggler/coq-tutorial
Primary language: Coq
Created: 2023-08-08T05:05:30Z
Description: A self-conatined Coq tutorial without any import. It proves insertion sort is correct and addition is associative.