Arend Theorem Prover: Folder Hierarchy

Home Timeline Branches Tags Tickets Wiki Login

Folders from [0784891462] sorted by filename

Arend Theorem Prover
2015-04-22 20:50:33
- apps
  29.1 hours
  - passist
    29.1 hours
  - repl
    8.3 days
- examples
  28.4 hours
- lib
  41.3 days
- plsrc
  current
- poster
  70 seconds
- presentation
  10.3 hours
- report
  31 seconds
- res
  28.4 hours
- src
  29.1 hours
- tests
  4.1 days
- util
  197.0 days