Skip to content
forked from Bram-Hub/aris

Aris: a logic engine/formal proof interface; 3nd generation, successor to the Java version of Aris.

License

Notifications You must be signed in to change notification settings

zacharybonagura/aris

This branch is 20 commits behind Bram-Hub/aris:master.

Folders and files

NameName
Last commit message
Last commit date

Latest commit

c296abe · Dec 24, 2024
Mar 26, 2023
Mar 5, 2020
Dec 24, 2024
Dec 24, 2024
Dec 10, 2024
Jun 30, 2020
Dec 24, 2024
Mar 5, 2020
Apr 5, 2017
Dec 24, 2024
Oct 14, 2024
Feb 21, 2018
Aug 23, 2020
Apr 5, 2017
Oct 14, 2024

Repository files navigation

Checks Security audit Deploy pages

Aris

Web-Client Build

  1. Install wasm-pack using cargo install wasm-pack
  2. Build using wasm-pack build web-app --target web --out-dir static/pkg
  3. Browse to web-app/static/index.html or serve with python3 -m http.server

Auto-Grader Build

  1. Build using cargo build --release --bin aris-auto-grader
  2. Use with target/release/aris-auto-grader <instructor assignment> <student assignment>

License

This project is licensed under the GNU GPLv3 License.

About

Aris: a logic engine/formal proof interface; 3nd generation, successor to the Java version of Aris.

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Rust 96.5%
  • Python 1.5%
  • Other 2.0%