List of proof assistants (source code)

by Ciro Santilli (@cirosantilli, 37)
= List of proof assistants

Back to article page