logo

logitext.mit.edu

Logitext

Logitext is an educational proof assistant for first-order classical logic using the sequent calculus, in the same tradition as Jape, Pandora, Panda and Yoda. It is intended to assist students who are learning Gentzen trees as a way of structuring ...


Alexa stats for logitext.mit.edu

Compare this site to:

traffic alexa for logitext.mit.edu

Site Seo for logitext.mit.edu

Tag :
H1 H2 H3 H4 H5
0 0 0 0 0
Image : There are 0 images on this website and 0 images have alt attributes
Frame : There are 0 embed on this website.
Flash : There are 0 flash on this website.
Size : 2,294 characters
Meta Description : No
Meta Keyword : No

Magestic Backlinks for logitext.mit.edu

Magestic Backlinks logitext.mit.edu

About logitext.mit.edu

Domain

logitext.mit.edu
MD5

103b3240be675df10cb9b5f5f464eda9
Charset UTF-8
Page Speed Check now
Web server Apache
IP Address 18.4.86.46 
					
								
		
0

Cross link

Backlinks Info

backlink google logitext.mit.edu Google view
backlink alexa logitext.mit.edu Alexa view
backlink bing logitext.mit.edu Bing view
backlink aol logitext.mit.edu Aol view

Indexed Pages

indexed page google logitext.mit.edu Google view
indexed page bing logitext.mit.edu Bing view
indexed page search.com logitext.mit.edu Search.com view
indexed page aol logitext.mit.edu Aol view

Other sites