Pytania oznaczone «proof-assistants»

Aplikacje umożliwiające tworzenie formalnych dowodów. Pomagają użytkownikowi w znajdowaniu częściowych i sprawdzaniu kompletnych dowodów.