Formalizing Primes in UniMath

74 views
Skip to first unread message

Justin Scarfy

unread,
Jul 13, 2019, 3:59:00 AM7/13/19
to HoTT Cafe
How do we actually do it?

Justin Scarfy

unread,
Jul 27, 2019, 3:09:02 PM7/27/19
to HoTT Cafe
Reply all
Reply to author
Forward
0 new messages