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)
шерстяной ленин

July 2017

S M T W T F S
       1
2 3 4 56 7 8
9 1011 12 13 14 15
161718 19 2021 22
23 2425 26 27 2829
3031     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 29th, 2017 11:53 am
Powered by Dreamwidth Studios