79 forks: 66 public, 3 internal, and 10 private
Created date
View Iris project
Arthur Azevedo de Amorim /
Iris
Merge branch 'robbert/tweak_invariants_proof' into 'master'
0
Updated
Oct 07, 2025
0
0
0
0
Updated
Oct 07, 2025
View Iris project
Alix Trieu /
Iris
Merge branch 'clarify-which-bsd' into 'master'
0
Updated
Jul 30, 2020
0
0
0
0
Updated
Jul 30, 2020
View Iris project
Simon Friis Vindum /
Iris
Merge branch 'ralf/fixpoint-confusion' into 'master'
0
Updated
Aug 28, 2023
0
0
0
0
Updated
Aug 28, 2023
View Iris project
Abel Nieto /
Iris
update dependencies
0
Updated
Apr 26, 2020
0
0
0
0
Updated
Apr 26, 2020
View Iris project
Jules Jacobs /
Iris
Add VS code to the editor.md docs
0
Updated
Mar 21, 2020
0
0
0
0
Updated
Mar 21, 2020
View Iris project
Abhishek Anand /
Iris
Add space.
0
Updated
Jan 30, 2020
0
0
0
0
Updated
Jan 30, 2020
View Iris project
Germán Delbianco /
Iris
Fix typo spot by
@Blaisorblade
.
0
Updated
Jan 21, 2020
0
0
0
0
Updated
Jan 21, 2020
View Iris project
Gregory Malecha /
Iris
Merge branch 'seal_big_opM' into 'master'
0
Updated
Apr 04, 2023
0
0
0
0
Updated
Apr 04, 2023
View Iris project
Dmitry Khalanskiy /
Iris
More `subst_map` lemmas.
0
Updated
Apr 14, 2020
0
0
0
0
Updated
Apr 14, 2020
View Iris project
George Pirlea /
Iris
explain weird anonymous type field in CmraT
0
Updated
Jul 31, 2019
0
0
0
0
Updated
Jul 31, 2019
View Iris project
Simon Spies /
Iris
do not clean _CoqProject
0
Updated
Oct 30, 2025
0
0
0
0
Updated
Oct 30, 2025
View Iris project
Rice Wine /
Iris
Update example in ProofMode.md
0
Updated
Apr 23, 2019
0
0
0
0
Updated
Apr 23, 2019
View Iris project
Rodolphe Lepigre /
Iris
update dependencies
0
Updated
Jan 22, 2021
0
0
0
0
Updated
Jan 22, 2021
View Iris project
Hai Dang /
Iris
Merge branch 'big_sepL_elem_of_acc' into 'master'
0
Updated
Jul 16, 2025
0
0
0
0
Updated
Jul 16, 2025
View iris-coq project
Maxime Dénès /
iris-coq
Merge branch 'unicode_asterisk_in_docs' into 'master'
0
Updated
Dec 13, 2019
0
0
0
0
Updated
Dec 13, 2019
View iris-coq project
Michael Sammler /
iris-coq
Merge branch 'list_singletonM_{lt,gt}' into 'master'
0
Updated
Feb 04, 2020
0
0
0
0
Updated
Feb 04, 2020
View iris-coq project
Hugo Herbelin /
iris-coq
Merge branch 'robbert/ufrac_just_ufrac' into 'master'
0
Updated
Oct 24, 2020
0
0
0
0
Updated
Oct 24, 2020
View iris project
Tej Chajed /
iris
Merge branch 'gset_to_gmap_theory' into 'master'
0
Updated
Mar 14, 2026
0
0
0
0
Updated
Mar 14, 2026
View iris-coq project
Marianna Rapoport /
iris-coq
backport heap_lang notation fix from gen_proofmode
0
Updated
Dec 03, 2018
0
0
0
0
Updated
Dec 03, 2018
View iris-coq project
Janno /
iris-coq
fix changelog typos
0
Updated
Oct 16, 2025
0
0
0
0
Updated
Oct 16, 2025
1
2
3
4
