search

catrincm / forallx-bris

Bristol version of forallx, an introduction to formal logic
Creative Commons Attribution Share Alike 4.0 International
1 stars 0 forks source link

Reorder rules #26

Open catrincm opened 2 years ago

catrincm commented 2 years ago

Reorder Proofs for FOL section to match the order introduced in the 21-22 lectures.