Skip to content
GitLab
Explore
Sign in
Dan Frumin
ReLoC-v1
Repository
logrel-conc
comments.org
Find file
Blame
History
Permalink
Add the comments.org file
· 2f7d7bde
Dan Frumin
authored
Jul 04, 2017
In this file I will keep all the comments regarding different aspects of formalisation.
2f7d7bde