KIT v0.1.10

KIT plugin and Prover Client, built from KIT commit 017f55e869aafff17ba529b547a97660410f2e62.

KIT v0.1.9

KIT plugin and Prover Client, built from KIT commit 68f7c9228deacf9ac2d635fc7558da900e7ac97e.

KIT v0.1.8

KIT plugin and Prover Client, built from KIT commit 55cd08a6f76cf78aa725baf02ee68dbed5085915.

KIT v0.1.7

KIT plugin and Prover Client, built from KIT commit f5d5d3c637d73b24ea5c94941035275f551bc3d3.

KIT v0.1.6

KIT plugin and Prover Client, built from KIT commit c1302a7242c08c0510dc38a976ec28d846f18181.

KIT v0.1.5

KIT plugin and Prover Client, built from KIT commit 8c0e9ec65511491c63c3c04c419c9923d96c5e88.

KIT v0.1.4

KIT plugin and kprover CLI, built from KIT commit c003582e97e0287626ac5d703ab5ca94304285d6.

KIT v0.1.3

KIT plugin and kprover CLI, built from KIT commit 8967dbd19e027547942762c1cfdc65ce2651300a.

KIT v0.1.2

KIT plugin and kprover CLI, built from KIT commit 57fb276dbfadbf68c267594fe355ca88cd929550.

KIT v0.1.1

KIT plugin and kprover CLI, built from KIT commit fe465afaa871979572c1d0390b3489a5231605be.