Mathematical language definition
[email protected] (Parrot Raiser) Mon, 28 Dec 2015 11:33:38 -0500
| Newsgroups | perl.perl6.language |
|---|---|
| Message-ID | <CACwLAp_N8Tu=9mpVSvsd=gpo-Jm5POQC=_4Buc8Jw_uB83d+Sg@mail.gmail.com> |
I just stumbled across this http://www.fields.utoronto.ca/programs/scientific/15-16/semantic/ effort: Semantic Representation of Mathematical Knowledge Workshop. I may be way outside my areas of competence here, but this calls to mind some of the discussions on P6. Is there value in trying to get some input to the process?