This website requires JavaScript.
Explore
Help
Sign In
prb
/
Logicandapplications2023
Watch
1
Star
0
Fork
You've already forked Logicandapplications2023
0
Code
Issues
Pull Requests
Projects
Releases
Wiki
Activity
master
Logicandapplications2023
/
class_31_02112023
/
summary.txt
5 lines
59 B
Plaintext
Raw
Permalink
Blame
History
-- substitution
-- soundness theorem
-- base case proof.
Reference in New Issue
View Git Blame
Copy Permalink