Strong-semantics probabilistic parser for HOL Light

Screenshots from April 3

Click here to only see Screenshots from March 20

Screenshots from March 20