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

Joseph Tassarotti / ipmfscqdemo
This is a demo showing how the the Iris Proof Mode can be used with FSCQ.
0updated 
0updated

0updated

0updated

Marcus Pirron / CableRobot
Code for the CableRobot

Aman Shankar Mathur / VRTrackingSimulator
A simulator to visualize/analyze tracking data from VR
0updated 
Dan Frumin / irisexamples
Some example verification demonstrating the use of Iris.
0updated 
Felipe Cerqueira / rtproofs
The main Coq development.
0updated 
Glen Mével / iriscoq
The Coq development for Iris

rLTL / rltl2ltl
rLTL to LTL rewriter
0updated 
Pascal Fradet / rtproofs
The main Coq development.
1updated 
FP / iristutorial
Exercises for the Iris tutorial
0updated 
Dan Frumin / iriscoq
The Coq development for Iris
0updated 
Jonas Kastberg / iriscoq
The Coq development for Iris

Utkarsh Upadhyay / broadcastonline
Code for RedQueen paper for simulating user walls synthetically as well as using real data.
0updated 
Maxime Lesourd / rtproofs
The main Coq development.
0updated 
Sophie Quinton / rtproofs
The main Coq development.

0updated

0updated