Skip to main content

Timeline for Writing "Semi-Formal" Proofs

Current License: CC BY-SA 3.0

1 event
when toggle format what by license comment
Aug 18, 2017 at 8:13 history answered Noam Zeilberger CC BY-SA 3.0