Report or block calebegg
Contact Support about this user's behavior.Report abuse
Like a sandwich but code.
An IDE for ACL2
An alternate way of viewing code that adds more interesting characters to the mix in the hopes of helping find bugs and making code more skimable.
A collaborative, social recipe editor.
A website and evaluation service so that visitors can try ACL2 in their browser without any plugins or installation.