#] 
#] *********************
#] "$d_web"'CompLangs/HOL/0_HOL notes.txt'
# www.BillHowell.ca  30Dec2023 initial 
# view in text editor, using constant-width font (eg courier), tabWidth = 3

#48************************************************48




#24************************24
# Table of Contents, generate with :
# $ grep  "^#]"  "$d_web"'CompLangs/HOL/0_HOL notes.txt' |  sed "s/^#\]/  /" 
#


#24************************24
# Setup, ToDos,   


#08********08
#] ??Dec2023 


#08********08
#] ??Dec2023 


#08********08
#] ??Dec2023 


#08********08
#] ??Dec2023 


#08********08
#] ??Dec2023 


#08********08
#] 30Dec2023 search "Higer Order Logic and rules for integration"

+-----+
https://en.wikipedia.org/wiki/Higher-order_logic
>> typically obtuder

+-----+
https://math.stackexchange.com/questions/3771329/how-can-you-derive-a-formula-without-premises
How can you derive a formula without premises? [duplicate]
Asked 3 years, 5 months ago
Modified 3 years, 5 months ago
Viewed 580 times
>> great blog [question, comment]s

+-----+
https://math.stackexchange.com/questions/3889847/is-it-hopeless-for-me-to-try-to-understand-the-derivations-of-all-formulas-i-use
Asked 3 years, 1 month ago
Modified 3 years, 1 month ago
Viewed 219 times




# enddoc