LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Common Lisp

acl2

ACL2 System and Books as Maintained by the Community

Common LispEmerging

Stars

—

Forks

—

Contributors

8

Last push

47mo ago

Recent commits

Latest commits.

Merge.
4552dd5Alessandro Coglio69mo ago
[event macros] Add some preliminary template generators.
b852527Alessandro Coglio69mo ago
Remove superseded error checker.
8df7ad5Alessandro Coglio69mo ago
[SOFT] Redirect to use new error checker.
fb692fdAlessandro Coglio69mo ago
[Java] Redirect to use new error checker.
4404d68Alessandro Coglio69mo ago

[C] Redirect to use new error checker.

7473b74Alessandro Coglio69mo ago

[APT] Redirect to use new error checker.

5b446ceAlessandro Coglio69mo ago

[error checking] Move and improve and error checker here.

c0bf4cdAlessandro Coglio69mo ago

Top contributors

Builders behind this project.

ericwhitmansmith