Explore GitLab
Discover projects, groups and snippets. Share your projects with others

JanOliver Kaiser / iriscoq
The Coq development for Iris
0updated 
Jan / iriscoq
The Coq development for Iris

0updated

Glen Mével / iriscoq
The Coq development for Iris

rLTL / rltl2ltl
rLTL to LTL rewriter
0updated 
Antonin Riffard / rtproofs
The main Coq development.
0updated 
0updated

Dan Frumin / irisexamples
Some example verification demonstrating the use of Iris.
0updated 
FP / irisci
This project contains some scripts and other files that are used by many Iris project for their CI
0updated 
Joseph Tassarotti / ipmfscqdemo
This is a demo showing how the the Iris Proof Mode can be used with FSCQ.
0updated 
Amin Timany / irisora
Formalizes the ordered RA model of Iris

AVA / FloVer
A certificate checker for roundoff error bounds

Aman Shankar Mathur / VRTrackingSimulator
A simulator to visualize/analyze tracking data from VR
0updated 
Dan Frumin / irisatomic
Logically Atomic Triples in Iris

Lily Tsai / dataForPrototype
Data in csv format
0updated 
FP / iristutorial
Exercises for the Iris tutorial
0updated 
David Swasey / derekpopl18talk
Safety of a syntactically unsafe symbol ADT.
1updated 
Xiaojie Guo / rtproofs
The main Coq development.
0updated 
0updated

Maxime Lesourd / rtproofs
The main Coq development.
0updated