https://logicalfoundations.org/about/ 2012-01-02 https://logicalfoundations.org/archive/ https://logicalfoundations.org/books/ 2019-03-13 https://logicalfoundations.org/code/ 2019-03-12 https://logicalfoundations.org/code/coq/ 2014-06-06 https://logicalfoundations.org/code/scala/ 2014-03-13 https://logicalfoundations.org/code/scala/progfun/ 2014-03-13 https://logicalfoundations.org/code/scala/reactive/ 2015-04-18 https://logicalfoundations.org/code/uacalc/ 2014-03-10 https://logicalfoundations.org/code/uacalc/command-line-examples/ 2014-03-10 https://logicalfoundations.org/lean-ualib/ 2019-03-13 https://logicalfoundations.org/lean-ualib/birkhoff-hsp/ 2019-02-11 https://logicalfoundations.org/lean-ualib/composition/ 2019-02-09 https://logicalfoundations.org/lean-ualib/elementary-facts/ 2019-02-11 https://logicalfoundations.org/lean-ualib/f-algebras/ 2019-02-09 https://logicalfoundations.org/