Search Package Index

10 packages found

 PackageDescriptionBuild 

dracula

Dracula: ACL2 theorem prover tools in DrRacket

This package needs documentation

This package needs tags

fails5

mischief

Mischief: A Racketeer's Toolkit

Docs:
succeeds; has failing tests4

mischief-dev

Mischief: A Racketeer's Toolkit [development branch]

Docs:
succeeds; has failing tests4

refined-acl2

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

This package needs documentation

This package needs tags

fails5

staged-slide

Helpers for building staged slides in Slideshow

Tags:
succeeds0

unstable

Experimental libraries

Tags:
succeeds0

unstable-doc

documentation part of "unstable"

Tags:
succeeds0

unstable-lib

implementation (no documentation) part of "unstable"

This package needs documentation

Tags:
succeeds3

unstable-pretty-lib

Experimental libraries for pretty printing

This package needs documentation

Tags:
succeeds3

unstable-test

tests for "unstable"

This package needs documentation

Tags:
succeeds; has failing tests4