├── .gitignore ├── COPYING ├── README.mkd ├── conferences.mkd └── sketches ├── ArithExprCompiler.v ├── AxiomK.v ├── BasicAlgebra.v ├── BasicTopology.v ├── Complexity.v ├── InductionExercises.v ├── LogicalInvestigations.v ├── Makefile ├── ProgLang.v ├── SemigroupPuzzles.v ├── Vector2.v ├── modexp.v └── xorswap.v /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mgrabovsky/fm-notes/HEAD/.gitignore -------------------------------------------------------------------------------- /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mgrabovsky/fm-notes/HEAD/COPYING -------------------------------------------------------------------------------- /README.mkd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mgrabovsky/fm-notes/HEAD/README.mkd -------------------------------------------------------------------------------- /conferences.mkd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mgrabovsky/fm-notes/HEAD/conferences.mkd -------------------------------------------------------------------------------- /sketches/ArithExprCompiler.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mgrabovsky/fm-notes/HEAD/sketches/ArithExprCompiler.v -------------------------------------------------------------------------------- /sketches/AxiomK.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mgrabovsky/fm-notes/HEAD/sketches/AxiomK.v -------------------------------------------------------------------------------- /sketches/BasicAlgebra.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mgrabovsky/fm-notes/HEAD/sketches/BasicAlgebra.v -------------------------------------------------------------------------------- /sketches/BasicTopology.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mgrabovsky/fm-notes/HEAD/sketches/BasicTopology.v -------------------------------------------------------------------------------- /sketches/Complexity.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mgrabovsky/fm-notes/HEAD/sketches/Complexity.v -------------------------------------------------------------------------------- /sketches/InductionExercises.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mgrabovsky/fm-notes/HEAD/sketches/InductionExercises.v -------------------------------------------------------------------------------- /sketches/LogicalInvestigations.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mgrabovsky/fm-notes/HEAD/sketches/LogicalInvestigations.v -------------------------------------------------------------------------------- /sketches/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mgrabovsky/fm-notes/HEAD/sketches/Makefile -------------------------------------------------------------------------------- /sketches/ProgLang.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mgrabovsky/fm-notes/HEAD/sketches/ProgLang.v -------------------------------------------------------------------------------- /sketches/SemigroupPuzzles.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mgrabovsky/fm-notes/HEAD/sketches/SemigroupPuzzles.v -------------------------------------------------------------------------------- /sketches/Vector2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mgrabovsky/fm-notes/HEAD/sketches/Vector2.v -------------------------------------------------------------------------------- /sketches/modexp.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mgrabovsky/fm-notes/HEAD/sketches/modexp.v -------------------------------------------------------------------------------- /sketches/xorswap.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mgrabovsky/fm-notes/HEAD/sketches/xorswap.v --------------------------------------------------------------------------------