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

Merge johannes branch #30

Closed catrincm closed 2 months ago

catrincm commented 11 months ago

remember to also modify the action replace branch with master in the script change the github project settings to run the page from master