GitHub - gares/math-comp-school-2022

To build your file with opam

make opam         # copy the output
make lesson1.html

First install nix and cachix once and for all as in https://github.com/coq-community/coq-nix-toolbox#standalone
To compile something after cloning the repo
```
nix-shell
make lesson1.html
```

To get a shell without cloning the repo:

nix-shell https://github.com/gares/math-comp-school-2022/tarball/master

make upload FILES=lesson1.html

To test your file go to

or type

make serve

Name		Name	Last commit message	Last commit date
Latest commit History 104 Commits
.github/workflows		.github/workflows
.nix		.nix
cheat-sheet		cheat-sheet
udoc		udoc
.gitignore		.gitignore
Blob.js		Blob.js
FileSaver.js		FileSaver.js
Makefile		Makefile
README.md		README.md
coqdoc.css		coqdoc.css
default.nix		default.nix
demo-support-master.png		demo-support-master.png
deploy-v0.0.1-9-gf271906.tgz		deploy-v0.0.1-9-gf271906.tgz
exercise1.v		exercise1.v
exercise2.v		exercise2.v
exercise3.v		exercise3.v
exercise4.v		exercise4.v
exercise5.v		exercise5.v
exercise6.v		exercise6.v
exercise7.v		exercise7.v
exercise8.v		exercise8.v
footer.html		footer.html
header.html		header.html
lesson1.v		lesson1.v
lesson2.v		lesson2.v
lesson3.v		lesson3.v
lesson4.v		lesson4.v
lesson5.v		lesson5.v
lesson6.v		lesson6.v
lesson7.v		lesson7.v
lesson8.v		lesson8.v
local.css		local.css
template_v		template_v