Skip to Main content Skip to Navigation


...
hal-00150915v1  Conference papers
Pierre LetouzeyLaurent Théry. Formalizing Stalmarck's algorithm in Coq
Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, 2000, Portland, United States. pp.388