Equality in computer proof-assistants.

Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller

Browse the full FedCSIS paper archive.