ghilbert

ghilbert copied to clipboard

Allow duplicate interface params.

1

This change seems to be required in order to define an interface generally as accepting two different types, but then allow it to be used in a specific instance where...

abliss

RFE for ghilbert spec: Permute hypotheses when applying a theorem

2

``` Oftentimes I am in the middle of a proof and want to apply a theorem with two or more hypotheses (an inference). However, about half the time, it turns...

GoogleCodeExporter