Giters

qed-project / project

The monorepo containing all code for the QED project

Home Page:https://qed.lucalewin.dev

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

databasemathcomputer-algebra-systemproof-system

The QED Project

The monorepo containing all code for the QED project

About

The monorepo containing all code for the QED project

https://qed.lucalewin.dev

databasemathcomputer-algebra-systemproof-system

License:MIT License

Languages

Language:Rust 50.9%Language:HTML 40.9%Language:SCSS 8.3%