Showing
- addons/teach/dune 9 additions, 0 deletionsaddons/teach/dune
- addons/teach/package.json 11 additions, 0 deletionsaddons/teach/package.json
- addons/teach/teach-pkg.json 11 additions, 0 deletionsaddons/teach/teach-pkg.json
- addons/teach/workdir/.gitignore 27 additions, 0 deletionsaddons/teach/workdir/.gitignore
- addons/teach/workdir/dune-project 4 additions, 0 deletionsaddons/teach/workdir/dune-project
- addons/teach/workdir/teach.opam 12 additions, 0 deletionsaddons/teach/workdir/teach.opam
- addons/teach/workdir/theories/DivPrelude.v 424 additions, 0 deletionsaddons/teach/workdir/theories/DivPrelude.v
- addons/teach/workdir/theories/Nat_Binomial.v 585 additions, 0 deletionsaddons/teach/workdir/theories/Nat_Binomial.v
- addons/teach/workdir/theories/Nat_Compl.v 466 additions, 0 deletionsaddons/teach/workdir/theories/Nat_Compl.v
- addons/teach/workdir/theories/Nat_Factorial.v 187 additions, 0 deletionsaddons/teach/workdir/theories/Nat_Factorial.v
- addons/teach/workdir/theories/Nat_Sum.v 326 additions, 0 deletionsaddons/teach/workdir/theories/Nat_Sum.v
- addons/teach/workdir/theories/Pos_Compl.v 49 additions, 0 deletionsaddons/teach/workdir/theories/Pos_Compl.v
- addons/teach/workdir/theories/Pos_prime.v 64 additions, 0 deletionsaddons/teach/workdir/theories/Pos_prime.v
- addons/teach/workdir/theories/WS_Binomial.v 336 additions, 0 deletionsaddons/teach/workdir/theories/WS_Binomial.v
- addons/teach/workdir/theories/WS_Div.v 565 additions, 0 deletionsaddons/teach/workdir/theories/WS_Div.v
- addons/teach/workdir/theories/WS_Helper.v 85 additions, 0 deletionsaddons/teach/workdir/theories/WS_Helper.v
- addons/teach/workdir/theories/Zmod_div.v 183 additions, 0 deletionsaddons/teach/workdir/theories/Zmod_div.v
- addons/teach/workdir/theories/Zprime.v 214 additions, 0 deletionsaddons/teach/workdir/theories/Zprime.v
- addons/teach/workdir/theories/dune 8 additions, 0 deletionsaddons/teach/workdir/theories/dune
- backend/coq-worker.ts 1 addition, 1 deletionbackend/coq-worker.ts
addons/teach/dune
0 → 100644
addons/teach/package.json
0 → 100644
addons/teach/teach-pkg.json
0 → 100644
addons/teach/workdir/.gitignore
0 → 100644
addons/teach/workdir/dune-project
0 → 100644
addons/teach/workdir/teach.opam
0 → 100644
addons/teach/workdir/theories/DivPrelude.v
0 → 100644
addons/teach/workdir/theories/Nat_Binomial.v
0 → 100644
This diff is collapsed.
addons/teach/workdir/theories/Nat_Compl.v
0 → 100644
addons/teach/workdir/theories/Nat_Sum.v
0 → 100644
addons/teach/workdir/theories/Pos_Compl.v
0 → 100644
addons/teach/workdir/theories/Pos_prime.v
0 → 100644
addons/teach/workdir/theories/WS_Binomial.v
0 → 100644
addons/teach/workdir/theories/WS_Div.v
0 → 100644
This diff is collapsed.
addons/teach/workdir/theories/WS_Helper.v
0 → 100644
addons/teach/workdir/theories/Zmod_div.v
0 → 100644
addons/teach/workdir/theories/Zprime.v
0 → 100644
addons/teach/workdir/theories/dune
0 → 100644