Name		Name	Last commit message	Last commit date
Latest commit History 19 Commits
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
asthelpers.py		asthelpers.py
asthelpers_test.py		asthelpers_test.py
check.py		check.py
crosshair.py		crosshair.py
crosshairlib.py		crosshairlib.py
crosshairlib_test.py		crosshairlib_test.py
prooforacle.py		prooforacle.py
prooforacle_test.py		prooforacle_test.py
test00.py		test00.py
test01.py		test01.py
test02.py		test02.py

Repository files navigation

CrossHair

An experiment in logic programming with a subset of Python

About

An experiment in logic programming with a subset of Python

Report repository

Releases

No releases published

Packages

No packages published

Languages

Python 100.0%