| products/Sources/formale Sprachen/Coq/engine/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: Sprache: Unknown
|
Spracherkennung für: .mllib vermutete Sprache: C {C[13] Abap[251] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] UnivNames UnivGen UnivSubst UnivProblem UnivMinim Universes UState Univops Nameops Evar_kinds Evd EConstr Namegen Termops Evarutil Logic_monad Proofview_monad Proofview Ftactic [ Dauer der Verarbeitung: 0.41 Sekunden ] |