50 years of proof assistants (via self) — discussion

#compsci #historical