This repository has been archived by the owner on Mar 6, 2023. It is now read-only.

isekai 1.0

Latest

Latest

guipublic released this 07 Nov 09:38

· 52 commits to develop since this release

isekai 1.0 is compatible with 5 proof systems and has a llvm frontend

Assets 2