Commits · master · Anton Trunov / less-adhoc

Jul 04, 2018
- Update .gitignore · 1f6322ee
  Anton Trunov authored 6 years ago
  
  1f6322ee
Mar 19, 2018
- Get rid of Option Automatic Coercions Import is deprecated warning · 656752ab
  Anton Trunov authored 7 years ago
  
  656752ab
- Implicit Arguments -> Arguments · e470a7ac
  Anton Trunov authored 7 years ago
  
  e470a7ac
- Alternative implementation of indom · 50ca1d8f
  Anton Trunov authored 7 years ago
  
  50ca1d8f
- Silence some warnings in ProofGeneral · 6f40e598
  Anton Trunov authored 7 years ago
  
  6f40e598
Mar 15, 2018
- Update README · 7564995f
  Anton Trunov authored 7 years ago
  
  7564995f
- Uncomment stress test causing typechecking to diverge · 50cce237
  Anton Trunov authored 7 years ago
  
  50cce237
- Port to Coq 8.7 / Mathcomp 1.6.4 · 5fb2b727
  Anton Trunov authored 7 years ago
  
  5fb2b727
- Initial commit · 468ab2b6
  Anton Trunov authored 7 years ago
  
  468ab2b6