ProxySite

babaeee / hakim Public

Notifications You must be signed in to change notification settings
Fork 2
Star 3

A hacky interactive theorem prover

proof.babaeee.ir/

Apache-2.0, MIT licenses found

Licenses found

3 stars 2 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 568 Commits
.github/workflows		.github/workflows
.vscode		.vscode
docs		docs
front		front
hakim-cli		hakim-cli
hakim-engine		hakim-engine
hakim-json		hakim-json
hakim-server		hakim-server
hakim-wasm		hakim-wasm
library		library
node_modules		node_modules
scripts		scripts
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
LICENSE_APACHE		LICENSE_APACHE
LICENSE_MIT		LICENSE_MIT
README.md		README.md
init-script.sh		init-script.sh
package-lock.json		package-lock.json
yarn.lock		yarn.lock

Repository files navigation

hakim

A hacky interactive theorem prover

Contribute