View Single Post
Old 07 September 2018, 09:49   #122
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