Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
ralf/sprop
2f143753
·
bump std++
·
Sep 06, 2021
ralf/f_equiv_ho
d72f8214
·
fix for f_equiv improvements
·
Sep 26, 2021
ralf/f_equiv
4f836b8e
·
adjust for f_equiv optimizations
·
Sep 27, 2021
robbert/level
9418cdd3
·
Use priority levels for `iFrame`. There's no syntax yet, so the fixes to the...
·
Oct 12, 2021
robbert/bi_wand_notation
1859ff61
·
Add ∗-∗ as notation in stdpp_scope similar to -∗.
·
Dec 05, 2021
robbert/bi_cofe
00d2fb63
·
Ensure that different `Cofe` proofs of `iProp` are convertible.
·
Apr 07, 2022
robbert/primproj_unfold
53ee592e
·
Apply 1 suggestion(s) to 1 file(s)
·
May 13, 2022
ralf/proofmode-of-envs
7fe2a5e1
·
document what needs to be in pm_eval
·
May 16, 2022
ralf/proofmode-emp
3734ace0
·
tac_specialize_assert_pure: do not assume that pure things are persistent
·
May 16, 2022
ralf/bi-persistently-emp
384b9d0d
·
move bi_persistently_emp out of BI interface, and get a basic proof mode working again
·
May 17, 2022
ralf/tex-heaplang
f9181595
·
(maybe) better symbol for Ptradd
·
May 21, 2022
simon/parametric-index
a88ba984
·
Allow undiscarding fractional points-tos
·
Jul 31, 2023
master
default
b9bcdb90
·
egrep -> grep -E
·
Nov 14, 2023
let-in-assoc
a6914f6d
·
seq assoc
·
Feb 29, 2024
big-sep
e46a3d98
·
Big sep, big ugly
·
Feb 29, 2024
Prev
1
2
3
4
Next