| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/dev/ci/user-overlays/ (Beweissystem des Inria Version 9.1.0©) Datei vom 15.8.2025 mit Größe 688 B |
|
Quelle 20397-jrosain-refactor-elimination.sh Sprache: Shell |
|||||||||
|
overlay stdlib https://github.com/jrosain/rocq-stdlib more-uniform-elimination 20397
overlay coq_lsp https://github.com/jrosain/rocq-lsp more-uniform-elimination 20397 overlay elpi https://github.com/jrosain/rocq-elpi more-uniform-elimination 20397 overlay equations https://github.com/jrosain/Rocq-Equations more-uniform-eliminatio overlay unicoq https://github.com/jrosain/unicoq more-uniform-elimination 20397 overlay tactician https://github.com/jrosain/rocq-tactician more-uniform-eliminatio overlay coqhammer https://github.com/jrosain/rocqhammer more-uniform-elimination 203 overlay metacoq https://github.com/jrosain/metarocq more-uniform-elimination 20397 ¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-04-04