Search Package Index

10 packages found

 PackageDescriptionBuild

dracula

Dracula: ACL2 theorem prover tools in DrRacket

fails

mischief

Mischief: A Racketeer's Toolkit

Docs:
succeeds; has failing tests

mischief-dev

Mischief: A Racketeer's Toolkit [development branch]

Docs:
succeeds; has failing tests

refined-acl2

Refined ACL2: experimental implementation of ACL2-verifiable code with ML modules and Racket macros.

fails

staged-slide

Helpers for building staged slides in Slideshow

Tags:
succeeds

unstable

Experimental libraries

Tags:
succeeds

unstable-doc

documentation part of "unstable"

Tags:
succeeds

unstable-lib

implementation (no documentation) part of "unstable"

Tags:
succeeds

unstable-pretty-lib

Experimental libraries for pretty printing

Tags:
succeeds

unstable-test

tests for "unstable"

Tags:
succeeds; has failing tests