Index of /Proposals/DependentTypesProblems/Polymorphic

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]Complete/2025-03-31 01:27 -  
[DIR]Lemmas/2025-03-31 04:12 -  
Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443