The Alligator theorem prover for dependent type systems: Description and proof samples

Paul Piwek |

Paper Details:


Year: 2006

Venue: ICoS | WS |
SIG: SIGSEM