diff options
| author | Felipe Bañados Schwerter | 2022-10-24 16:46:18 +0000 |
|---|---|---|
| committer | Felipe Bañados Schwerter | 2022-10-24 16:46:18 +0000 |
| commit | b42ea5e994de56ffc7d4ec0e723261a147179b15 (patch) | |
| tree | 8c5dcf8bd7c042efd730f5de9e7c7d602e59a2df /entries/gerui | |
| parent | b9ab257c2d46a832e0b3bb904bc40e59daa42481 (diff) | |
Specified implementation in coq
Diffstat (limited to 'entries/gerui')
0 files changed, 0 insertions, 0 deletions