4.5 Reasoning

Prev Up Next Page 31 of 800 Search internet

Logiweb is developed for formal reasoning. It is easy to reason about Logiweb programs because they are just extended lambda terms (extended in that they may include true, If-then-else, and quote).

Furthermore, Logiweb has a long list of features which makes it suited for writing proof checkers:

Prev Up Next Page 31 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05