Meta tags:
description=;
author=;

Headings (most frequently used words):

welcome, to, carnap, io, background,

Text of the page (most frequently used words):
#carnap (8), and (6), you (5), the (5), about (3), logic (3), project (2), open (2), some (2), page (2), teaching (2), get (2), please (2), free (2), course (2), framework (2), for (2), formal (2), haskell (2), welcome (2), copyright, 2015, 2026, leach, krouse, gleachkr, gmail, com, ehrlich, this, work, has, been, supported, munson, simu, faculty, star, award, kansas, state, university, tower, just, curious, can, find, general, information, our, interested, would, like, use, class, involved, other, way, feel, touch, student, that, uses, follow, links, top, log, access, materials, software, written, studying, powers, courses, around, world, dozens, colleges, universities, background, login, book,

Text of the page (random words):
welcome to carnap carnap about book login welcome to carnap io a formal logic framework for haskell background carnap is a free and open software framework written in haskell for teaching and studying formal logic carnap powers logic courses at dozens of colleges and universities around the world if you re a student in a course that uses carnap please follow the links at the top of the page to log in and to access course materials if you re just curious about carnap you can find some general information on our about page if you re interested in the project and would like to use carnap in a class you re teaching or get involved in some other way please feel free to get in touch an open tower project copyright 2015 2026 g leach krouse gleachkr gmail com and j ehrlich this work has been supported by a munson simu faculty star award at kansas state university