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

Releases: sikoba/isekai

isekai 1.0

07 Nov 09:38
@guipublic guipublic
v1.0
7856d02
Compare
Choose a tag to compare
isekai 1.0 Latest
Latest

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

Assets 2
Loading