Olá, Gostei muito deste sisteminha:
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 derivations of logical statements. Underneath the hood, Logitext interfaces with Coq in order to check the validity of your proof steps. http://logitext.ezyang.scripts.mit.edu/logitext.fcgi/main Foi feito por um Doutorando em Stanford http://ezyang.com/ Ele deixou o código-fonte no Github: https://github.com/ezyang/logitext Tem até um tutorial de Cálculo de Sequentes: http://logitext.ezyang.scripts.mit.edu/logitext.fcgi/tutorial Adolfo -- ================================================================== Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br ================================================================== -------------------------------------------- Q: Why is this email three sentences or less? A: http://three.sentenc.es _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
