Subject: Tactics

Keywords: ::Rules
          ::Refiner
          ::ML
          ::overview
          ::tactic

Title: Introduction to Nuprl's tactic language

--------------------------------------------------
  Nuprl tactics are written in Classic ML.⋅
--------------------------------------------------

Authors: 

Contributors: VINCENT:t



Home