10:02:05	 From  Mark Lavrentyev : https://jscoq.github.io/node_modules/jscoq/examples/scratchpad.html
10:02:16	 From  Mark Lavrentyev : Online IDE ^
10:04:12	 From  Thomas Del Vecchio : Can you make text a bit bigger please?
10:07:17	 From  Jordan Hartzell : you mentioned using a dash to focus — what does it mean to “focus” again?
10:09:29	 From  Jordan Hartzell : thanks!
10:12:02	 From  christopher : How would you refer to a line that isn’t the hypothesis? Or do you have too reprove everything every time you use it
10:12:52	 From  Danielle Rozenblit : How does the proof checker automatically know what direction we are working in when we say “-> I.”
10:12:59	 From  Danielle Rozenblit : / how do we know
10:13:19	 From  christopher : What I mean is, if I prove a statement X from H, and then in a subsequent subproof I want to use X. Do I have to reprove X, or is there a way to refer to a previous result just like you refer to H?
10:13:50	 From  christopher : (In the “”tower” notation for natural deduction this is extremely coon, so I’m wondering if you can do that here)
10:13:58	 From  christopher : comon*
10:15:09	 From  christopher : Ok, thanks
10:36:58	 From  Jordan Hartzell : we don’t know anything about b!
10:36:59	 From  Monica Roy : because we don’t know anything about B
10:37:01	 From  Danielle Rozenblit : We dont know B
10:37:34	 From  christopher : And we can fall back on the fact we have truth tables here, so we can see that there are instances where A is true but A ^ B isn’t
10:40:03	 From  Ryan Greenblatt : Are there any cases in which an unsound proof system is used?
10:40:25	 From  Daniel Kostovetsky : What does “I satisfies Gamma” mean?
10:41:10	 From  Daniel Kostovetsky : What is gamma here then?
10:41:37	 From  Daniel Kostovetsky : gotcha
10:41:41	 From  Daniel Kostovetsky : thanks
10:48:04	 From  Daniel Kostovetsky : none
10:48:04	 From  Peter Theodores : none
10:48:05	 From  Danielle Rozenblit : false
10:49:01	 From  Ben Ryjikov : does this mean that the set of instances which satisfy false is empty or that the set of rules in each false instances is empty
10:49:28	 From  Ben Ryjikov : thank you!
10:50:51	 From  Daniel Kostovetsky : =>I