Logo
Explore Help
Sign In
GitHub/gf-core
1
0
Fork 1
You've already forked gf-core
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 13:09:33 -06:00
Code Issues Packages Projects Releases Wiki Activity
Files
7cceec08026535852091aa3db2ce73da32c06e17
gf-core/examples/logic
History
aarne 0bf909b0fd overload resolution with value type, for experiment
2006-12-19 23:34:36 +00:00
..
Arithm.gf
more in ArithmEng
2006-11-27 21:03:15 +00:00
ArithmEng.gf
overload resolution with value type, for experiment
2006-12-19 23:34:36 +00:00
LexTheory.gf
more in ArithmEng
2006-11-27 21:03:15 +00:00
LexTheoryEng.gf
more in ArithmEng
2006-11-27 21:03:15 +00:00
Logic.gf
part of Logic implemented generically
2006-11-27 10:54:26 +00:00
LogicEng.gf
part of Logic implemented generically
2006-11-27 10:54:26 +00:00
LogicI.gf
overload resolution with value type, for experiment
2006-12-19 23:34:36 +00:00
Prooftext.gf
overload resolution with value type, for experiment
2006-12-19 23:34:36 +00:00
ProoftextEng.gf
AdvS and for_Prep in resource (except Russian)
2006-11-27 16:21:27 +00:00
Theory.gf
a logic library; fix in make mathematical
2006-11-26 17:14:20 +00:00
TheoryEng.gf
a logic library; fix in make mathematical
2006-11-26 17:14:20 +00:00
TheoryI.gf
a logic library; fix in make mathematical
2006-11-26 17:14:20 +00:00
Powered by Gitea Version: 1.25.5 Page: 55ms Template: 6ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API