Richard Zach
A computer-verified proof of ⊥: https://github.com/clarus/falso (h/t Byron Cook)
Posted
in
by
Tags:
Your email address will not be published. Required fields are marked *
Comment *
Name *
Email *
Website
Δ
Leave a Reply