Dean Eigenmann
|
c96d712834
|
Update README.md
|
2019-11-16 18:23:47 +01:00 |
|
Dean Eigenmann
|
0a4927f3be
|
Update README.md
|
2019-11-06 14:49:05 +01:00 |
|
Dean Eigenmann
|
2269f6e7ae
|
travis (#3)
* travis stuff
* Update Makefile
* Update README.md
* Update SpecOK.cfg
* Update .travis.yml
* Update SpecOK.cfg
* test
* fix
* fix
* fix
* one more attempt
* maybe
* fix
* updated
|
2019-11-06 14:48:38 +01:00 |
|
decanus
|
e42bd53c36
|
updated README
|
2019-11-06 13:26:10 +01:00 |
|
decanus
|
ad438582c5
|
removed theorem for now
|
2019-11-06 06:19:32 +01:00 |
|
decanus
|
decdf7c944
|
Merge branch 'master' of github.com:vacp2p/formalities
|
2019-11-06 06:09:49 +01:00 |
|
decanus
|
42cd47a4b1
|
minor changes
|
2019-11-06 06:09:32 +01:00 |
|
decanus
|
6294b95481
|
comments, TypeOK
|
2019-11-06 04:45:47 +01:00 |
|
Dean Eigenmann
|
28244cc0f0
|
Update MVDS.tla
|
2019-11-06 04:13:56 +01:00 |
|
decanus
|
297f1eeaf3
|
removed toolbox
|
2019-11-06 03:49:13 +01:00 |
|
decanus
|
40e1ebf567
|
mvds
|
2019-11-06 03:48:29 +01:00 |
|
Dean Eigenmann
|
8e0cbf0e33
|
Initial commit
|
2019-11-06 03:46:14 +01:00 |