coqide

6Ciepło

1Odpowiedz

Błąd ścieżki ładowania CoqIDE dla ssreflect

Jestem nowicjuszem Coq i dlatego chcę lepiej zrozumieć sprawdzanie dowodów Próbuję użyć biblioteki Ssreflect. Zainstalowałem Ssreflect v 1.5 na Mac OS v 10.10.3 (Yosemite), który działa w Terminalu. J