On this page:
k
8.2

k

Lîm Tsú-thuàn/林子篆

 #lang k/base package: k
 #lang k

k is a theorem prover that works under racket ecosystem, wants to interact with normal racket program, still in active development.