Loading Discussion on question by Guy Coder: Are there any proof assistants that can not be derived from substitution?
Just a second…
load older messages full transcript highlights

You must be logged in to talk. See the faq for more information.