Activity · Ralf Jung / Iris · GitLab

Snippets Groups Projects

1 year ago

Ralf Jung @jung

deleted branch test-normalizer at Ralf Jung / Iris

1 year ago

Ralf Jung @jung

pushed new branch test-normalizer at Ralf Jung / Iris

1 year ago

Ralf Jung @jung

deleted branch ralf/coq-8.18 at Ralf Jung / Iris

1 year ago

Ralf Jung @jung

pushed to branch ralf/coq-8.18 at Ralf Jung / Iris

2582700a · fix Coq 8.18 deprecation warnings

1 year ago

Ralf Jung @jung

pushed to branch ralf/coq-8.18 at Ralf Jung / Iris

a1d52529 · fix Coq 8.18 deprecation warnings

1 year ago

Ralf Jung @jung

pushed to branch ralf/coq-8.18 at Ralf Jung / Iris

00c1cd82 · fix Coq 8.18 deprecation warnings

1 year ago

Ralf Jung @jung

pushed new branch ralf/coq-8.18 at Ralf Jung / Iris

2 years ago

Ralf Jung @jung

deleted branch prop-level-wand at Ralf Jung / Iris

2 years ago

Ralf Jung @jung

pushed to branch prop-level-wand at Ralf Jung / Iris

8b2b17ab · changelog and docs
... and 5 more commits. Compare 0dbe157b...8b2b17ab

2 years ago

Ralf Jung @jung

pushed to branch prop-level-wand at Ralf Jung / Iris

0dbe157b · don't use ⊢ in high-level lemmas
... and 75 more commits. Compare c029ed16...0dbe157b

2 years ago

Ralf Jung @jung

pushed to branch prop-level-wand at Ralf Jung / Iris

c029ed16 · don't use ⊢ in high-level lemmas

2 years ago

Ralf Jung @jung

pushed to branch prop-level-wand at Ralf Jung / Iris

12cc8963 · don't use ⊢ in high-level lemmas
... and 17 more commits. Compare 8b1a4e7c...12cc8963

2 years ago

Ralf Jung @jung

pushed to branch prop-level-wand at Ralf Jung / Iris

8b1a4e7c · changelog
... and 2 more commits. Compare f1e71963...8b1a4e7c

2 years ago

Ralf Jung @jung

pushed to branch prop-level-wand at Ralf Jung / Iris

f1e71963 · changelog
... and 90 more commits. Compare 2d81a9ec...f1e71963

2 years ago

Ralf Jung @jung

pushed to branch prop-level-wand at Ralf Jung / Iris

2d81a9ec · changelog

2 years ago

Ralf Jung @jung

pushed to branch prop-level-wand at Ralf Jung / Iris

43968fdf · changelog
... and 1 more commit. Compare 8ee79354...43968fdf

2 years ago

Ralf Jung @jung

pushed to branch prop-level-wand at Ralf Jung / Iris

8ee79354 · changelog
... and 15 more commits. Compare e7d35a13...8ee79354

2 years ago

Ralf Jung @jung

pushed to branch prop-level-wand at Ralf Jung / Iris

e7d35a13 · changelog
... and 2 more commits. Compare 989c56f5...e7d35a13

2 years ago

Ralf Jung @jung

pushed to branch prop-level-wand at Ralf Jung / Iris

989c56f5 · changelog
... and 15 more commits. Compare b1b073f0...989c56f5

2 years ago

Ralf Jung @jung

deleted branch fupd-soundness at Ralf Jung / Iris