Skip to content
/ aris Public

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

Bram-Hub/aris

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