Apr. 24th, 2017

bamalip: (Default)
https://github.com/siddhartha-gadgil/ProvingGround/blob/a6d2f86068f37ea89cc2be099ecbedc92e8300f8/play-server/app/docsheets/HoTTcore.sc

A system under development for (semi-)automated theorem proving, with foundations homotopy type theory, using machine learning, both by reinforcement learing using backward-propagation and using natural language processing to assimilate part of the mathematics literature.

Profile

bamalip: (Default)
шерстяной ленин

September 2017

S M T W T F S
      1 2
3 4 5 6 7 8 9
1011 12 13 14 1516
1718 19 20212223
24252627282930

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 21st, 2017 05:39 pm
Powered by Dreamwidth Studios