vacp2p/formalities
1
0
Fork 0
mirror of https://github.com/vacp2p/formalities.git synced 2026-01-10 06:17:55 -05:00
Code Issues Packages Projects Releases Wiki Activity
12 Commits 4 Branches 0 Tags
master
Commit Graph

12 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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