StackOverflow Questions for Tag: acl2

tswiggy

Reputation: 11

Calling a function n times acl2

functionlispcommon-lispacl2

Score: 1

Answers: 2

inherownlittleworld

Reputation: 11

Proofpad program to determine whether a binary tree is a valid search tree

lispacl2

Score: 1

Answers: 2

Senmorta

Reputation: 11

ACL2 function to recognize even numbers does not halt

lispcommon-lispacl2

Score: 0

Answers: 1

GokRix

Reputation: 65

ACL2 Decision Tree fails to execute the recursive call

lispdecision-treediscrete-mathematicsacl2

Score: 2

Answers: 0

tswiggy

Reputation: 11

Proving function that gives minimum of lists in acl2

acl2

Score: 0

Answers: 1

William Machado

Reputation: 109

ACL2 how to keep part of a list?

listrecursionlispacl2

Score: 1

Answers: 1

Jakemathbad

Reputation: 23

Iterate through a list in ACL2

acl2

Score: 1

Answers: 1

William Machado

Reputation: 109

Adding Reciprocals in ACL2

lispacl2

Score: 1

Answers: 1

Jason

Reputation: 33

Wheres-waldo function in LISP

recursionlispacl2

Score: 3

Answers: 4

Attila Karoly

Reputation: 1021

Simple numeric theorem not accepted by ACL2

theorem-provingacl2

Score: 3

Answers: 1

mnaseer

Reputation: 13

How to update variable values in ACL2?

acl2

Score: 1

Answers: 1

interestedparty333

Reputation: 2536

What does ACL2 exit code 137 mean?

acl2

Score: 1

Answers: 2

Attila Karoly

Reputation: 1021

Graph Theory example not accepted by ACL2 Sedan

acl2

Score: 1

Answers: 0

Alex Knauth

Reputation: 8373

In a macro transformer, is it possible to lift a definition to the top level?

macroslispacl2

Score: 0

Answers: 0

Isabelle Newbie

Reputation: 9378

How to fix loop in rewriting proof

acl2

Score: 0

Answers: 1

camden

Reputation: 2026

Writing a select() function in ACL2

functional-programminglispacl2

Score: 1

Answers: 1

interestedparty333

Reputation: 2536

How do I turn off quick-and-dirty-subsumption-replacement-step

acl2

Score: 1

Answers: 1

imgoingmad

Reputation: 95

Recursively appending lists to the front of an element within a list

listrecursionlispcommon-lispacl2

Score: 0

Answers: 1

interestedparty333

Reputation: 2536

How do I make time$ work with ctrl+t e in ACL2 and emacs?

acl2

Score: 1

Answers: 1

interestedparty333

Reputation: 2536

ACL2's GL clock ran out

acl2

Score: 0

Answers: 1

PreviousPage 1Next

StackOverflow Questions for Tag: acl2

Calling a function n times acl2

Proofpad program to determine whether a binary tree is a valid search tree

ACL2 function to recognize even numbers does not halt

ACL2 Decision Tree fails to execute the recursive call

Proving function that gives minimum of lists in acl2

ACL2 how to keep part of a list?

Iterate through a list in ACL2

Adding Reciprocals in ACL2

Wheres-waldo function in LISP

Simple numeric theorem not accepted by ACL2

How to update variable values in ACL2?

What does ACL2 exit code 137 mean?

Graph Theory example not accepted by ACL2 Sedan

In a macro transformer, is it possible to lift a definition to the top level?

How to fix loop in rewriting proof

Writing a select() function in ACL2

How do I turn off quick-and-dirty-subsumption-replacement-step

Recursively appending lists to the front of an element within a list

How do I make time$ work with ctrl+t e in ACL2 and emacs?

ACL2&#39;s GL clock ran out

ACL2's GL clock ran out