Thanks to visit codestin.com
Credit goes to github.com

Skip to content

ypwk/Mimir

Repository files navigation

Mimir

An AI powered Symbolic Logic Proof Generator.

Access it here. This link will work until March 2024.

Bootstrapped using react-router-v6-boilerplate

About

An AI powered Symbolic Logic Proof Generator

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published