Login / Signup

Formalizing Stålmarck's Algorithm in Coq.

Pierre LetouzeyLaurent Théry
Published in: TPHOLs (2000)
Keyphrases