Skip to content

Vela Mathematics Program: commits

32 commits at 2415f78e850a
Commits
32

at 2415f78e850a

Written by the protocol
17

submit, verify, decide

Moved the index
19

commits that changed repository state

Accepted Claims
3

after the newest transition

Wednesday 19 August 20263 commits

WBWill Blair2415f78e850aeee50afdca525c6f2e0ea606f2073 paths

WBWill Blair044abf577dc887425884b6044a457ae608ad784b14 paths

WBWill Blaircf46d6f98b053714d16f113587c23a39d3e8bc8b2 paths

Tuesday 18 August 20269 commits

WBWill Blair84b118ed1622d34e5a1431821cf35dca91fb87202 paths

WBWill Blair4956c6c4c0f1fd9bbaccb9604eb5580c2febf8653 paths

Accepted Claims33unchanged1 left review

Compare exact revisions

protocolAIVela Repositoryc875b49a7b703d0c0bf6892c345ffd71537885344 paths

Accepted Claims33unchanged

Compare exact revisions

protocolAIVela Repositorycd17762373ae4dd7be8a1dca6b934a895c4cd0483 paths

Accepted Claims33unchanged

Compare exact revisions

protocolAIVela Repositorye19467b09e29877e130d72fdee0b8bd4834fca753 paths

WBWill Blair2ec6bab9e94aef4e323b0e09cd80cf80519f8cfa2 paths

Accepted Claims33unchanged

Compare exact revisions

protocolAIVela Repository37738df74bf00619f5d884110d12fdbf0e94a0ac5 paths

WBWill Blair14affbbbba6be46a2013c6b379177fbfb57f4cd63 paths

WBWill Blairf4672aaaabde21e69c3439afdc3f5ddec42a0a6d14 paths

Monday 17 August 202620 commits

WBWill Blairf9b28280881472ccb9c4b1b35d8e741745f0bd992 paths

Accepted Claims33unchanged1 left review

Compare exact revisions

protocolAIWill Blair9e14613b7bad9b5def871067e3f8d5ff2cccebcb4 paths

Accepted Claims33unchanged

Compare exact revisions

protocolAIWill Blair6ac4a44da0d02777e315c3835649c033b75888cd3 paths

Accepted Claims33unchanged

Compare exact revisions

protocolAIWill Blair761d01951566e035828d53cb98f0dda15c031cd63 paths

WBWill Blair8007f59c9e7fe786e62653c0795d0ef18edc03532 paths

Accepted Claims33unchanged

Compare exact revisions

protocolAIWill Blair6fcc1e4f4e2d12163e72a70a20b6b45ec293bc495 paths

WBWill Blair2c29c9158ed39218505bfc886a16d033d7406b3e7 paths

Accepted Claims23+11 left review

Compare exact revisions

protocolAIWill Blair749634087597021af6f3e13eeddf4faa584b36df4 paths

Accepted Claims22unchanged

Compare exact revisions

protocolAIWill Blair20d3c2d949675654e50c20329d915a1c0777faa76 paths

Accepted Claims12+11 left review

Compare exact revisions

protocolAIWill Blair9626f9df2ef77109cb6bfb8156c2bdbcbb05252f4 paths

Accepted Claims11unchanged

Compare exact revisions

protocolAIWill Blair4924adfb02d7fdf73f66927ebaad23486d6cb98a2 paths

Accepted Claims11unchanged

Compare exact revisions

protocolAIWill Blair5a385adc4402ca956a76e955c537a3b04aee02885 paths

Accepted Claims11unchanged1 left review

Compare exact revisions

protocolAIWill Blairb6a4cf32253c5bc9a17295e7ab1b048243ee53bc4 paths

Accepted Claims11unchanged

Compare exact revisions

protocolAIWill Blair552d14af7620e4e7021747ec79f57a306fcc002f2 paths

Accepted Claims11unchanged

Compare exact revisions

protocolAIWill Blair2bcc03558e83646ecb0f84111312ff793f534c714 paths

Accepted Claims01+11 left review

Compare exact revisions

protocolAIWill Blaira1ded634fda7e255d416ea248a8a47500de569f34 paths

Accepted Claims00unchanged

Compare exact revisions

WBWill Blairc7da10ae78f761878a97d6b247a08c61747476295 paths

WBWill Blaird5e214ea2d735771dbf97b887bb9738c6d6247462 paths

WBWill Blair0a43a5d853959d1ac84cb9ab7921005c9755785224 paths

Accepted Claims00unchanged

Exact comparison unavailable

VAVela Agentda1dbd81599f7d1e6fdd51b85db6cd07d210194c12 paths

Search problems.science

Find a Problem, Result, source, or page