Search Package Index

6 packages found

 PackageDescriptionBuild 

New

k

k theorem prover

This package needs documentation

Tags:
fails5

New

k-core

core of k theorem prover

This package needs documentation

Tags:
succeeds3

New

k-doc

documentation of k theorem prover

Docs:
Tags:
fails5

New

k-example

examples of using k theorem prover

This package needs documentation

Tags:
fails5

New

k-lib

libraries of k theorem prover

This package needs documentation

Tags:
fails5

New

k-test

Test of k

This package needs documentation

fails5