Commits · master · Anton Trunov / less-adhoc

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