Skip to content
Snippets Groups Projects
Select Git revision
  • ralf/options
  • master default protected
  • robbert/cbn
  • robbert/from_option
  • robbert/tc_opaque
  • coq-stdpp-1.0
  • coq-stdpp-1.4.0
  • coq-stdpp-1.3.0
  • coq-stdpp-1.2.1
  • coq-stdpp-1.2.0
  • coq-stdpp-1.1.0
  • coq-stdpp-1.0.0
12 results
Compare
Forked from Iris / stdpp
Source project has a limited visibility.
user avatar
Make arguments for sig and sigT constructors and projections maximally implicit.
Robbert Krebbers authored 
Some were already maximally implicit, some were not. Now it is consistent.
613168bf
History
user avatar 613168bf
History
Name Last commit Last update
..