Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Iris
Iris
Iris / Iris
49 forks: 42 public, 1 internal, and 6 private
Created date
Simcha van Collem /
Iris
Merge branch 'robbert/iSpecialize_forall' into 'master'
0
Updated
Jan 17, 2023
0
0
0
0
Updated
Jan 17, 2023
Simon Spies /
Iris Parametric Index
remove some spurious spaces
0
Updated
Jan 25, 2023
0
0
0
5
Updated
Jan 25, 2023
Niklas Mück /
Iris
added to readme
0
Updated
Nov 17, 2022
0
0
0
0
Updated
Nov 17, 2022
Ike Mulder /
Iris
Merge branch 'master' into 'master'
0
Updated
Dec 16, 2022
0
0
0
0
Updated
Dec 16, 2022
Glen Mével /
Iris
Merge branch 'janno/defuse-iAssumption' into 'master'
0
Updated
Dec 29, 2022
0
0
0
0
Updated
Dec 29, 2022
Adam /
Iris
fix coq-lint for macOS restricted regex support
0
Updated
Dec 29, 2022
0
0
0
0
Updated
Dec 29, 2022
Vincent /
Iris
The Coq development for Iris.
[project website]
[coqdoc]
0
Updated
Dec 29, 2022
0
0
Updated
Dec 29, 2022
Armaël Guéneau /
Iris
add changelog for iris_invG rename
0
Updated
Nov 16, 2022
0
0
0
0
Updated
Nov 16, 2022
Matthieu Sozeau /
Iris
move common style checks to separate file
0
Updated
Dec 29, 2022
0
0
0
0
Updated
Dec 29, 2022
Ralf Jung /
Iris
add Iris 3.4 release date
0
Updated
Dec 29, 2022
0
0
0
0
Updated
Dec 29, 2022
Simon Hudon /
Iris
Merge branch 'ralf/wp_frame_wand' into 'master'
0
Updated
Dec 29, 2022
0
0
0
0
Updated
Dec 29, 2022
Lennard Gäher /
Iris
Merge branch 'ralf/coq-8.11' into 'master'
0
Updated
Aug 22, 2022
0
0
0
0
Updated
Aug 22, 2022
Andrej Dudenhefner /
Iris
Merge branch 'ralf/coq-8.11' into 'master'
0
Updated
Dec 29, 2022
0
0
0
0
Updated
Dec 29, 2022
Yusuke Matsushita /
Iris
update std++
0
Updated
Dec 29, 2022
0
0
0
0
Updated
Dec 29, 2022
Enrico Tassi /
Iris
Merge branch 'ralf/frac-op-valid' into 'master'
0
Updated
Dec 29, 2022
0
0
0
0
Updated
Dec 29, 2022
Arthur Azevedo de Amorim /
Iris
iris-bot: dont rely on 'origin' remote being upstream
0
Updated
Dec 29, 2022
0
0
0
0
Updated
Dec 29, 2022
Alix Trieu /
Iris
Merge branch 'clarify-which-bsd' into 'master'
0
Updated
Dec 29, 2022
0
0
0
0
Updated
Dec 29, 2022
Simon Friis Vindum /
Iris
tex: update URL
0
Updated
Nov 27, 2022
0
0
0
0
Updated
Nov 27, 2022
Abel Nieto /
Iris
update dependencies
0
Updated
Dec 29, 2022
0
0
0
0
Updated
Dec 29, 2022
Jules Jacobs /
Iris
Add VS code to the editor.md docs
0
Updated
Dec 29, 2022
0
0
0
0
Updated
Dec 29, 2022
Prev
1
2
3
Next