theories/proofmode · ccd42ca7e6bfb323e2f1d13ba3d105cec2192f53 · Michael Sammler / iris-coq · GitLab

Snippets Groups Projects

Forked from Iris / Iris

3382 commits behind the upstream repository.

More simple changes to make proof mode terms more compact.

Robbert Krebbers authored 5 years ago

This is a follow up of !248.

7ba11ac0

7ba11ac0 5 years ago

Name	Last commit	Last update
..
base.v
class_instances_bi.v
class_instances_sbi.v
classes.v
coq_tactics.v
environments.v
frame_instances.v
intro_patterns.v
ltac_tactics.v
modalities.v
modality_instances.v
monpred.v
notation.v
reduction.v
sel_patterns.v
spec_patterns.v
tactics.v
tokens.v