diff options
| author | Braxton Hall | 2022-10-24 17:40:13 +0000 |
|---|---|---|
| committer | GitHub | 2022-10-24 17:40:13 +0000 |
| commit | 364ddac06a7fbbb52876251b55de856db2292436 (patch) | |
| tree | abf06da417513538f12799ef82e8c9bc8144a174 /entries/nritschel/scratch | |
| parent | b9ab257c2d46a832e0b3bb904bc40e59daa42481 (diff) | |
| parent | 3f2544bf59ebd4839a6e545cd067a4e0c8cb349a (diff) | |
Merge pull request #19 from fbanados/fbanados
fbanados in coq.
Diffstat (limited to 'entries/nritschel/scratch')
0 files changed, 0 insertions, 0 deletions