Search Package Index

cur

• wjbλ9c15b42

Dependent types and meta-programming

This package needs license metadata

k

• dannypsnlλ0c82218
• racketλ7cc8c7d
• cyb.ai.815λdbea9d7

k theorem prover

This package needs documentation

k-core

• dannypsnlλ0c82218
• cyb.ai.815λdbea9d7

core of k theorem prover

This package needs documentation

This package needs license metadata

k-lib

• dannypsnlλ0c82218
• cyb.ai.815λdbea9d7

libraries of k theorem prover

This package needs documentation

This package needs license metadata