【文件属性】：
文件名称：korekto:通用证明检查器
文件大小：51KB
文件格式：ZIP
更新时间：2021-03-18 23:36:26
Ruby
科雷克托
描述：
通用证明检查器。
与neovim（nvim）一起使用。
安装：
$ gem install korekto
$ korekto --install
概要：
### Patterns ###
# 'Hello World!'.scan(/\w+|\S|\s/) #=> ["Hello", " ", "World", "!"]
! scanner: '\w+|\S|\s'
! .Newline /\n/
! .Newline {;}
! Variables /\w+/
! Variables {V W}
### Acceptance patterns ###
There might be V. #L1 Let 1: There might be .
# /If I see (\w+), then I'll probably see (\w+).\nI see \1\n
【文件预览】：
korekto-main
----.config.fish(132B)
----.ruby-version(6B)
----History.txt(612B)
----lib()
--------korekto.rb(326B)
--------korekto()
----examples()
--------Dxx.md(1KB)
--------Tutorial.md(14KB)
--------Squash.md(4KB)
--------ABC.md(1KB)
--------Sqrt2.md(3KB)
----.gemignore(136B)
----test()
--------tc_syntax(693B)
--------tc_version(748B)
--------tc_symbols(1KB)
--------tc_heap(2KB)
--------tc_lexicon(634B)
--------tc_korekto(128B)
--------tc_readme_rocket_check(2KB)
----.lexicon(1KB)
----start()
--------korekto()
----README.md(4KB)
----imports()
--------Calculus.md(410B)
--------Integer.md(308B)
--------Natural.md(563B)
--------Real.md(167B)
--------Logic.md(1KB)
--------Syntax.md(447B)
--------Rational.md(200B)
--------Kernel.md(349B)
--------Algebra.md(593B)
----features()
--------section.feature(419B)
--------bad_syntax_rule.feature(350B)
--------type_not_defined.feature(350B)
--------type_in_use.feature(358B)
--------existential_bad_instantiation.feature(676B)
--------existential_instantiation.feature(621B)
--------readme.feature(304B)
--------newlines_count.feature(754B)
--------no_mapping.feature(354B)
--------variable_in_use.feature(375B)
--------nothing_was_undefined.feature(389B)
--------no_syntax_on_literal.feature(365B)
--------no_capture_error.feature(361B)
--------which.feature(850B)
--------imports_pass.feature(1KB)
--------unrecognized_korekto_line.feature(407B)
--------examples_unchanged.feature(869B)
--------boolean_syntax_rule.feature(372B)
--------statement_type_not_implemented.feature(426B)
--------nothing_instantiated.feature(416B)
--------imports_unchanged.feature(1KB)
--------undefined.feature(343B)
--------tutorial.feature(337B)
--------let_set.feature(335B)
--------no_axiom_match.feature(374B)
--------syntax_rule.feature(347B)
--------no_capture.feature(857B)
--------modus_ponem.feature(525B)
--------existential2_instantiation.feature(650B)
--------let_set_number.feature(376B)
--------no_inference_match.feature(390B)
--------step_definitions()
--------simple.feature(784B)
--------examples_pass.feature(783B)
--------no_existential_match.feature(377B)
--------mapping_result.feature(422B)
--------backup_restore.feature(494B)
--------regexp_quote_postfix.feature(764B)
--------support()
--------syntax_rule_raised.feature(444B)
--------overrides.feature(354B)
--------unexpected_fence.feature(351B)
----.irbrc(43B)
----.dictionary(333B)
----rplugin()
--------ruby()
----.gitignore(26B)
----bin()
--------korekto(887B)
----korekto.gemspec(999B)
----cucumber.yml(25B)