index
:
ts-theorem-provinator
main
Experiment to use typescripts type system for theorem proving
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
README.md
blob: ee7b0991bf5b268a975dbbced6fe16946386605d (
plain
) (
blame
)
1
2
# Theorem prover in ts types
Experiment to use typescript's type system for theorem proving
