https://github.com/AU-COBRA/ConCert
Revision 1fce3136e464116e527970575c2add186cbe86ab authored by Danil on 02 September 2021, 20:47:19 UTC, committed by Danil on 02 September 2021, 20:47:19 UTC
1 parent 112c56d
Tip revision: 1fce3136e464116e527970575c2add186cbe86ab authored by Danil on 02 September 2021, 20:47:19 UTC
Update README: extend the project structure description
Update README: extend the project structure description
Tip revision: 1fce313
File | Mode | Size |
---|---|---|
ML-family.pdf | -rw-r--r-- | 425.4 KB |
Computing file changes ...