conf.researchr.org / Michael Raskin
Registered user since Sun 26 Mar 2017
Name: Michael Raskin
Affiliation: Université de Bordeaux / LaBRI
Personal website: http://mccme.ru/~raskin
Contributions
| ELS 2019 | Author of Working with First-Order Proofs and Provers within the ELS 2019-track |
| ELS 2017 | Author of Writing a portable code walker in Common Lisp within the ELS 2017-track |