initial sept. 2021
Showing
- Lebesgue/.Makefile.d 231 additions, 0 deletionsLebesgue/.Makefile.d
- Lebesgue/.config.profile 17 additions, 0 deletionsLebesgue/.config.profile
- Lebesgue/.coqdeps.d 34 additions, 0 deletionsLebesgue/.coqdeps.d
- Lebesgue/FinBij.v 395 additions, 0 deletionsLebesgue/FinBij.v
- Lebesgue/LF_subcover.ml 136 additions, 0 deletionsLebesgue/LF_subcover.ml
- Lebesgue/LInt.v 2490 additions, 0 deletionsLebesgue/LInt.v
- Lebesgue/LInt_calc.v 88 additions, 0 deletionsLebesgue/LInt_calc.v
- Lebesgue/LInt_p.v 413 additions, 5 deletionsLebesgue/LInt_p.v
- Lebesgue/Makefile 3 additions, 3 deletionsLebesgue/Makefile
- Lebesgue/Makefile.conf 54 additions, 0 deletionsLebesgue/Makefile.conf
- Lebesgue/Pi_test.v 151 additions, 0 deletionsLebesgue/Pi_test.v
- Lebesgue/R_compl.v 242 additions, 1 deletionLebesgue/R_compl.v
- Lebesgue/Rbar_compl.v 278 additions, 2 deletionsLebesgue/Rbar_compl.v
- Lebesgue/Subset.txt 68 additions, 0 deletionsLebesgue/Subset.txt
- Lebesgue/Subset.v 1515 additions, 0 deletionsLebesgue/Subset.v
- Lebesgue/Subset_FU_DU.txt 11 additions, 0 deletionsLebesgue/Subset_FU_DU.txt
- Lebesgue/Subset_finite.txt 38 additions, 0 deletionsLebesgue/Subset_finite.txt
- Lebesgue/Subset_finite.v 1164 additions, 0 deletionsLebesgue/Subset_finite.v
- Lebesgue/Subset_lim.txt 9 additions, 0 deletionsLebesgue/Subset_lim.txt
- Lebesgue/Subset_seq.txt 42 additions, 0 deletionsLebesgue/Subset_seq.txt
Loading
Please register or sign in to comment