GitHub - aartifact/aartifact-light: Lightweight web-based formal verification tool.

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
components		components
external		external
images		images
interface		interface
modules		modules
regimes/undergrad_instruction_linear_algebra		regimes/undergrad_instruction_linear_algebra
syntax		syntax
utilities		utilities
aartifact.js		aartifact.js
index.html		index.html
interface.css		interface.css
interface.html		interface.html
math.css		math.css