Der beste Ersatz für idris ist agda. |
|
Die besten Alternativen zu idris können folgend geordnet werden: |
|||||||||
|
|||||||||
| Eine gute Alternative für idris ist nicht aufgelistet? Schlagen Sie etwas vor! |
|
Zur Zeit habe ich keine Ahnung über Begleiter von idris |
| Andere Ideen? Dann den Begleiterbegriff zu idris hier eingeben: Schlagen Sie etwas vor! |
| idris |
|
agda |
|
coq |
|