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