View Single Post
Old 07 September 2018, 09:49   #122
haynor666
retro maniac

haynor666's Avatar
 
Join Date: May 2002
Location: Tarnobrzeg/Poland
Age: 41
Posts: 1,717
There are some book utilities already in HOL but not too much. Probably bacause nobody is interested in searching for such soft and adding to HOL.
haynor666 is offline  
 
Page generated in 0.04115 seconds with 11 queries