scientific article

zbMath0974.68181MaRDI QIDQ2754063

Robert Pollack

Publication date: 18 December 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Related Items

Innovations in computational type theory using Nuprl, A constructive algebraic hierarchy in Coq., Canonical Big Operators, First-Class Type Classes, Finite Groups Representation Theory with Coq

Uses Software

• Coq
• Isabelle
• Automath
• LEGO