first (of three) recorded videos on the logic lab completed
22 views
Skip to first unread message
Mark Tarver
Feb 6, 2023, 5:32:46 AM2/6/23
to Shen
Following my reboot, I've completed the first of three 10 minute videos on the Logic Lab. The first deals with the origins of the Logic Lab which go back 30 years. The second will deal with the specifications of logics and the third on the conduct of proofs in LL. All will be released at the same time.
Mark
Reply all
Reply to author
Forward
0 new messages