]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: efc1f57) | patch
tentative specification of Conway's construction for surreal numbers
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 26 May 2012 12:47:48 +0000 (12:47 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 26 May 2012 12:47:48 +0000 (12:47 +0000)
commit39d4c08954f6c836015093095ea7a10ef80b3513
treee0ed05a981dc0c7bef14042a74a70ca6c43bafd4tree | snapshot
parentefc1f5706f907b44b635ac93ab9093ace6abc210commit | diff
tentative specification of Conway's construction for surreal numbers
matita.opt game.ma crashes after 4 lines of code :((
matita/matita/contribs/ONAG/game.ma [new file with mode: 0644] blob
matita/matita/contribs/ONAG/notation.ma [new file with mode: 0644] blob
matita/matita/contribs/ONAG/root [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.