research
∙
05/24/2022
A Formalization of Finite Group Theory
Previous formulations of group theory in ACL2 and Nqthm, based on either...
research
∙
05/24/2022
Properties of the Hebrew Calendar
We describe an ACL2 program that implements the Hebrew calendar and the ...
research
∙
09/29/2020