GitHub - Warbo/isaplanner-tip: Mirror of http://chriswarbo.net/git/isaplanner-tip

Name		Name	Last commit message	Last commit date
Latest commit History 284 Commits
.asv/results		.asv/results
.issues		.issues
benchmarks		benchmarks
results		results
scripts		scripts
.gitignore		.gitignore
asv.conf.json		asv.conf.json
check.sh		check.sh
cutoff-timer.nix		cutoff-timer.nix
default.nix		default.nix
haskell-te.nix		haskell-te.nix
isacosy-template.thy		isacosy-template.thy
isacosy.nix		isacosy.nix
isaplanner.nix		isaplanner.nix
pkgs.nix		pkgs.nix
release.nix		release.nix
sampling.nix		sampling.nix
shell.nix		shell.nix
tebenchmark-isabelle.nix		tebenchmark-isabelle.nix

Warbo/isaplanner-tip