Giters
Real Math (realmath)

Real Math

realmath

Geek Repo

Symbolic computation, automated theorem proving, deductive reasoning, etc.

Github PK Tool:Github PK Tool

Real Math's repositories

FormalLogic

A formal logic engine that verifies deductive reasoning.

Language:JavaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

Nilpotent

Computational nilpotent Lie algebras and Lie groups.

Language:KotlinStargazers:1Issues:0Issues:0