Giters

mayankmanj / acl2-matrices

Matrix operations, formalized in ACL2

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Matrix operations formalized in ACL2

Work in progress!

About

Matrix operations, formalized in ACL2

Languages

Language:Common Lisp 100.0%