Comment on 50 years of proof assistantsparentComments−rramadass9moVery Interesting; thanks for the pointer.Nada Amin website - https://namin.seas.harvard.edu/
Comments
Very Interesting; thanks for the pointer.
Nada Amin website - https://namin.seas.harvard.edu/