Tagged with

Acl2

How to resolve the algorithm Sieve of Eratosthenes step by step in the ACL2 programming language

How to resolve the algorithm Sierpinski triangle step by step in the ACL2 programming language

How to resolve the algorithm Shell one-liner step by step in the ACL2 programming language

How to resolve the algorithm Search a list step by step in the ACL2 programming language

How to resolve the algorithm Rot-13 step by step in the ACL2 programming language

How to resolve the algorithm Reverse a string step by step in the ACL2 programming language

How to resolve the algorithm Return multiple values step by step in the ACL2 programming language

How to resolve the algorithm Remove duplicate elements step by step in the ACL2 programming language

How to resolve the algorithm Real constants and functions step by step in the ACL2 programming language

How to resolve the algorithm Quine step by step in the ACL2 programming language

How to resolve the algorithm Queue/Definition step by step in the ACL2 programming language

How to resolve the algorithm Prime decomposition step by step in the ACL2 programming language

How to resolve the algorithm Primality by trial division step by step in the ACL2 programming language

How to resolve the algorithm Playing cards step by step in the ACL2 programming language

How to resolve the algorithm Pick random element step by step in the ACL2 programming language

How to resolve the algorithm Pangram checker step by step in the ACL2 programming language

How to resolve the algorithm Palindrome detection step by step in the ACL2 programming language

How to resolve the algorithm Order two numerical lists step by step in the ACL2 programming language

How to resolve the algorithm One-dimensional cellular automata step by step in the ACL2 programming language

How to resolve the algorithm Non-decimal radices/Convert step by step in the ACL2 programming language

How to resolve the algorithm Mutual recursion step by step in the ACL2 programming language