Regular_Algebras

MaRDI QIDQ43948swMATHFDO

Official website https://www.isa-afp.org/entries/Regular_Algebras.html

Described by source

• On the fine-structure of regular algebra

Cited in

(4)

• Hammering towards QED
• Semi-intelligible Isar proofs from machine-generated proofs
• Network Security Policy Verification
• Sqrt_Babylonian

This page was built for software: Regular_Algebras