Richard Zach

Results 4 repositories owned by


                                            Richard Zach

Stars

Forks

Watchers

Open textbook on modal logic

Stars

Forks

Watchers

UCalgary version of forallx, an introduction to formal logic

Stars

Forks

Watchers

Git for Philosophers

Stars

Forks

Watchers

Textbook on metalogic based on the Open Logic Project