Master presentation: Jake Fennick

When:
April 23, 2019 @ 10:30 am – 12:00 pm
2019-04-23T10:30:00-10:00
2019-04-23T12:00:00-10:00
Where:
Keller 403


Formalization of a Deontic Logic Theorem in the Isabelle Proof Assistant
<a href=”https://math.hawaii.edu/home/depart/theses/MA_2019_Fennick.pdf”>Draft project report</a>