Snippets Groups Projects

slides-4-logrels-for-lf.tex

4 years ago
3af27bc2

Archive my logrel talk: add sources for reproducibility, link to YouTube video · 3af27bc2
Navid Roux authored 4 years ago and Michael Kohlhase committed 4 years ago

3af27bc2

History

Archive my logrel talk: add sources for reproducibility, link to YouTube video
Navid Roux authored 4 years ago and Michael Kohlhase committed 4 years ago

README_StreamingAssets.md.meta 155 B

fileFormatVersion: 2
guid: e2e151db4f96b894db2773b00dab22cf
DefaultImporter:
  externalObjects: {}
  userData: 
  assetBundleName: 
  assetBundleVariant: 