The following pages link to (Q3408130):
Displaying 5 items.
- Proof pearl: a formal proof of Higman's lemma in ACL2 (Q438550) (← links)
- A verified common lisp implementation of Buchberger's algorithm in ACL2 (Q1034553) (← links)
- Formal proofs about rewriting using ACL2 (Q1610218) (← links)
- The number of clones determined by disjunctions of unary relations (Q2322711) (← links)
- Admissible ordering on monomials is well-founded: a constructive proof (Q6094419) (← links)