Subject: Objects

Keywords: ::proof
          ::API

Title: Proof CLI

--------------------------------------------------

first_proof : object_id -> object_id
prf_inf_tree : object_id -> inf_tree
destruct_inf_tree : inf_tree -> ((term # term list) # term # inf_tree list)

inf_tree_object_id : inf_tree -> object_id
inf_tree_children : inf_tree -> inf_tree list
inf_obid_step : object_id -> inf_step
inf_step_goal : inf_step -> (term # term list)
inf_step_tactic : inf_step -> term
inf_step_subgoals : inf_step -> (term # term list) list
⋅
--------------------------------------------------

Authors: NUPRL:t

⋅

Home