hakim

A hacky interactive theorem prover

Name	Name	Last commit message	Last commit date
Latest commit arshiamoeini Merge pull request #35 from babaeee/mz3 Apr 2, 2024 25384d5 · Apr 2, 2024 History 568 Commits
.github/workflows	.github/workflows	increase intial stack memory	Jan 31, 2024
.vscode	.vscode	generate z3-status with smt-lib2 language	Feb 22, 2024
docs	docs	use &str instead of String in tactic args	Apr 4, 2022
front	front	generate z3-status with smt-lib2 language	Feb 22, 2024
hakim-cli	hakim-cli	Add button to disable auto filter	Feb 1, 2024
hakim-engine	hakim-engine	fix z3_auto	Apr 2, 2024
hakim-json	hakim-json	generate z3-status with smt-lib2 language	Feb 22, 2024
hakim-server	hakim-server	open website when server starts	Mar 10, 2023
hakim-wasm	hakim-wasm	fix warnings	Nov 17, 2022
library	library	define species as relation	Mar 31, 2024
node_modules	node_modules	return to wasm	Jan 8, 2024
scripts	scripts	return to wasm	Jan 8, 2024
.gitignore	.gitignore	Add button to disable auto filter	Feb 1, 2024
Cargo.lock	Cargo.lock	generate z3-status with smt-lib2 language	Feb 22, 2024
Cargo.toml	Cargo.toml	improve automata library	Nov 13, 2023
LICENSE_APACHE	LICENSE_APACHE	use cargo workspace	Oct 18, 2021
LICENSE_MIT	LICENSE_MIT	use cargo workspace	Oct 18, 2021
README.md	README.md	Update README.md	May 24, 2022
init-script.sh	init-script.sh	remove timeout to make it work in wasm	Jan 3, 2023
package-lock.json	package-lock.json	return to wasm	Jan 8, 2024
yarn.lock	yarn.lock	return to wasm	Jan 8, 2024

Provide feedback