Search Package Index

4 packages found

 PackageDescriptionBuild 

cur

Dependent types and meta-programming

Docs:

This package needs license metadata

succeeds2

k

k theorem prover

This package needs documentation

Tags:
License:
fails6

k-core

core of k theorem prover

This package needs documentation

Tags:

This package needs license metadata

succeeds4

k-lib

libraries of k theorem prover

This package needs documentation

Tags:

This package needs license metadata

fails6