language-proof-and-logic

There are 1 repository under language-proof-and-logic topic.

• tbitai / ruzsa

  Analytic tableau proof editor for Tarski's World

  logiceducationanalytic-tableauxlanguage-proof-and-logiclpltarskifitch
  Language:JavaScript 4

• muratBekgi / Phil-09

  Philosophy 09 Pierce College Online course (LPL)

  language-proof-and-logiclpllplusplus
  1