Wenzel, Markus. <br/><br/>
Isabelle/Isar - a Generic Framework for Human-Readable Proof Documents / 
Makarius Wenzel. 
<br/><br/> Tytuł. nagł. 
<br/><br/>Bibliogr. s. 296-297. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Matematyka--oprogramowanie.<br/>Matematyka--język.