theories/proofmode · a42f1b54c6a14c3567a9580be5ddf3e1cec47465 · William Mansky / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

2981 commits behind the upstream repository.

Missing `tc_opaque` instance for `FromForall`.

Robbert Krebbers authored 5 years ago

a42f1b54

a42f1b54 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