Commits · master · Smeding,T.J. (Tom) / efficient-chad-agda-mirror

Oct 17, 2023
- Fix bug in costing of lfst and lsnd · a13909c9
  Smeding,T.J. (Tom) authored 1 year ago
  
  a13909c9
Jul 13, 2023
- README: Add link to arxiv paper · 2a6bec99
  Smeding,T.J. (Tom) authored 1 year ago
  
  2a6bec99
Jul 07, 2023
- Fix line length · 8e317d4a
  Smeding,T.J. (Tom) authored 1 year ago
  
  8e317d4a
- README: Add note about documentation · 6227601c
  Smeding,T.J. (Tom) authored 1 year ago
  
  6227601c
- Add README · 7fe56fe9
  Smeding,T.J. (Tom) authored 1 year ago
  
  7fe56fe9
- Add arith-solver · 8ba33ada
  Smeding,T.J. (Tom) authored 1 year ago
  
  8ba33ada
- Transfer to GitHub · b5b10864
  Smeding,T.J. (Tom) authored 1 year ago
  
  b5b10864