dan
0 Followers · 0 Following
  • Joined on 2019-07-30
Repositories
13
 Projects Packages Public Activity Starred Repositories
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
rushby-noninterference
Coq 0 0
formalisation of Rushby's intransitive noninterference from "Noninterference, Transitivity, and Channel-Control Security Policies"
Updated 2019-07-30 11:07:37 +02:00
czf
Coq 0 0
CZF model in type theory
Updated 2019-07-30 11:02:35 +02:00
hoare-completeness
Coq 0 0
Relative completness of Hoare logic
Updated 2019-07-30 10:46:57 +02:00
HITs-Examples
Coq 0 0
Updated 2018-02-10 20:06:37 +01:00