mn200/HOL — Issue #48: HolQbf Library Documentation Needs Update
Author: tjark
Created: 2011-11-24 23:38:51+00:00
State: open

The description of the HolQbf library (in HOL/Manual/Description/HolQbf.tex) is outdated. In particular, Ramana's recent work on conversion of QBF into prenex normal form is not documented yet.