alexey_rom: (Default)
SASyLF -- это система для автоматической проверки доказательств. Главное отличие от Twelf в том, что предназначен в первую очередь для обучения и соответственно синтаксис выглядит очень похоже на обычную натуральную дедукцию.

Пример (вот отсюда):


Profile

alexey_rom: (Default)
alexey_rom

April 2012

S M T W T F S
1 234567
89 1011121314
15161718192021
22232425262728
2930     

Syndicate

RSS Atom

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 22nd, 2017 02:49 am
Powered by Dreamwidth Studios