Commits · main · Jakob Albert / Coq Packages

Jul 03, 2023
- Add mws_harvest.harvest · aa24c0cc
  Jakob Albert authored 1 year ago
  
  aa24c0cc
Aug 16, 2022
- Sort narration.ndjson · 66b518db
  Jakob Albert authored 2 years ago
  
  66b518db
- Fix: narration.ndjson: Wrong System · 4d8e1490
  Jakob Albert authored 2 years ago
  
  4d8e1490
Aug 10, 2022
- Update narration.json · 9f195124
  Jakob Albert authored 2 years ago
  
  9f195124
- Add coq-packages.json · 4cc07606
  Jakob Albert authored 2 years ago
  
  4cc07606
Aug 09, 2022
- Add extracted narration · 11864b13
  Jakob Albert authored 2 years ago
  
  11864b13
- Add patch-framework and patches · ff053152
  Jakob Albert authored 2 years ago
  
  Some Coq files are currently not parseable and/or broken. The patches fix those problems and make the Coq packages accesible.
  ff053152
- Add metadata · 7537e6e4
  Jakob Albert authored 2 years ago
  
  7537e6e4
- Add Coq packages submodules · f7303471
  Jakob Albert authored 2 years ago
  
  f7303471