Giters

felko / linear-algebra

Linear algebra formalization in Agda

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

agdaagda-libraryformalizationlinear-algebra

linear-algebra

Linear algebra formalization in Agda, as a learning project

About

Linear algebra formalization in Agda

agdaagda-libraryformalizationlinear-algebra

License:MIT License

Languages

Language:Agda 99.9%Language:Makefile 0.1%