{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":356686425,"defaultBranch":"main","name":"awesome-rust-formalized-reasoning","ownerLogin":"newca12","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-04-10T20:24:07.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/543542?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1618086248.100954","currentOid":""},"activityList":{"items":[{"before":"a50f30bce4a6e1a4f20622b79e93335684f18e49","after":"c80ac0423aac2acab1b928cba7140417da4fa20e","ref":"refs/heads/main","pushedAt":"2024-08-19T21:48:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add Patronus","shortMessageHtmlLink":"Add Patronus"}},{"before":"0073105eaadc69a716f0598ddbf09a11733d8964","after":"a50f30bce4a6e1a4f20622b79e93335684f18e49","ref":"refs/heads/main","pushedAt":"2024-08-08T17:23:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Move peano to 'Proof assistant' section","shortMessageHtmlLink":"Move peano to 'Proof assistant' section"}},{"before":"aee8ddc21fd46a7635c4d0e7a45458e1dacaba03","after":"0073105eaadc69a716f0598ddbf09a11733d8964","ref":"refs/heads/main","pushedAt":"2024-07-29T21:16:55.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add clingo-rs","shortMessageHtmlLink":"Add clingo-rs"}},{"before":"699c368e0963d9dd7020f0bf054c9d7b4a72c56a","after":"aee8ddc21fd46a7635c4d0e7a45458e1dacaba03","ref":"refs/heads/main","pushedAt":"2024-07-24T17:14:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add 'Propositional Logic'","shortMessageHtmlLink":"Add 'Propositional Logic'"}},{"before":"e6d7b36015f8189ddcec692de5539e2289597640","after":"699c368e0963d9dd7020f0bf054c9d7b4a72c56a","ref":"refs/heads/main","pushedAt":"2024-07-13T22:25:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add roq","shortMessageHtmlLink":"Add roq"}},{"before":"45b9f62a705e5cf336fd833a60e120302d4f0b74","after":"e6d7b36015f8189ddcec692de5539e2289597640","ref":"refs/heads/main","pushedAt":"2024-06-29T16:38:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add coq-rs","shortMessageHtmlLink":"Add coq-rs"}},{"before":"3923a2ac498d19f458e47d34601ea8afbbfddf06","after":"45b9f62a705e5cf336fd833a60e120302d4f0b74","ref":"refs/heads/main","pushedAt":"2024-06-15T14:00:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add blog post 'Visions of the future: formal verification in Rust'","shortMessageHtmlLink":"Add blog post 'Visions of the future: formal verification in Rust'"}},{"before":"c3b064bdc4450703b5c154dd87ad3485fed9406c","after":"3923a2ac498d19f458e47d34601ea8afbbfddf06","ref":"refs/heads/main","pushedAt":"2024-05-30T15:43:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add 'Lambda Shell'","shortMessageHtmlLink":"Add 'Lambda Shell'"}},{"before":"08ddb12c5a22cea0a382234e15b304a52d60ebc2","after":"c3b064bdc4450703b5c154dd87ad3485fed9406c","ref":"refs/heads/main","pushedAt":"2024-05-30T07:54:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add bootfrost","shortMessageHtmlLink":"Add bootfrost"}},{"before":"c105ade59baf5c0bd4eea58b36fcd458107c420c","after":"08ddb12c5a22cea0a382234e15b304a52d60ebc2","ref":"refs/heads/main","pushedAt":"2024-05-28T16:26:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add paper 'A hybrid approach to semi-automated Rust verification'","shortMessageHtmlLink":"Add paper 'A hybrid approach to semi-automated Rust verification'"}},{"before":"21b7aa12145d124b4d8b12f89b31ecb1d47e33cb","after":"c105ade59baf5c0bd4eea58b36fcd458107c420c","ref":"refs/heads/main","pushedAt":"2024-05-24T21:19:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add blog post 'Some notes on Rust, mutable aliasing and formal verification'","shortMessageHtmlLink":"Add blog post 'Some notes on Rust, mutable aliasing and formal verifi…"}},{"before":"924a34e72eb621f360bf2f9b26079c63114c1adf","after":"21b7aa12145d124b4d8b12f89b31ecb1d47e33cb","ref":"refs/heads/main","pushedAt":"2024-05-19T07:51:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add rustsat-ipasir crate","shortMessageHtmlLink":"Add rustsat-ipasir crate"}},{"before":"a7a0d3eb3f44099f6363c9b0bfadcc54b87ac747","after":"924a34e72eb621f360bf2f9b26079c63114c1adf","ref":"refs/heads/main","pushedAt":"2024-05-05T21:31:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add blog post 'Cracking the Cryptic (with Z3 and Rust)'","shortMessageHtmlLink":"Add blog post 'Cracking the Cryptic (with Z3 and Rust)'"}},{"before":"7ca906a8bf8c735661191812a940b96f8ffe4b40","after":"a7a0d3eb3f44099f6363c9b0bfadcc54b87ac747","ref":"refs/heads/main","pushedAt":"2024-05-01T09:21:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add cplex-rs, good_lp, highs-sys, lpsolve, rplex, russcip & scip-sys","shortMessageHtmlLink":"Add cplex-rs, good_lp, highs-sys, lpsolve, rplex, russcip & scip-sys"}},{"before":"8878376e693dcf7257993573e6d9f0f947dda83d","after":"7ca906a8bf8c735661191812a940b96f8ffe4b40","ref":"refs/heads/main","pushedAt":"2024-05-01T07:32:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add ellp in new 'Solver MPS compliant' section","shortMessageHtmlLink":"Add ellp in new 'Solver MPS compliant' section"}},{"before":"49b315e4689f1cd6a3315d0f1f593138667b15c3","after":"8878376e693dcf7257993573e6d9f0f947dda83d","ref":"refs/heads/main","pushedAt":"2024-04-20T16:11:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"New home & reattribution for Metamath-knife","shortMessageHtmlLink":"New home & reattribution for Metamath-knife"}},{"before":"0859cb82631c2ea7e46868bc6a712659510fb6f4","after":"49b315e4689f1cd6a3315d0f1f593138667b15c3","ref":"refs/heads/main","pushedAt":"2024-04-07T07:34:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Cosette Prover has been renamed to QED Prover","shortMessageHtmlLink":"Cosette Prover has been renamed to QED Prover"}},{"before":"3f24bb70b844fee3218a373388ce13f349da95ec","after":"0859cb82631c2ea7e46868bc6a712659510fb6f4","ref":"refs/heads/main","pushedAt":"2024-03-27T18:46:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add Relog","shortMessageHtmlLink":"Add Relog"}},{"before":"bd82e44cb3e8e9eb1ed6e89e6876f992ec54c8ed","after":"3f24bb70b844fee3218a373388ce13f349da95ec","ref":"refs/heads/main","pushedAt":"2024-03-16T16:20:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Tag a bunch of inactive projects","shortMessageHtmlLink":"Tag a bunch of inactive projects"}},{"before":"acbb755bd2fa366d4713a24e0749764679852d13","after":"bd82e44cb3e8e9eb1ed6e89e6876f992ec54c8ed","ref":"refs/heads/main","pushedAt":"2024-03-04T18:46:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add Croissant, sat_toasty_helper, smtlib-syntax & VeriFactory","shortMessageHtmlLink":"Add Croissant, sat_toasty_helper, smtlib-syntax & VeriFactory"}},{"before":"e85fa6f351285d651d55fc1155d98373917c63ba","after":"acbb755bd2fa366d4713a24e0749764679852d13","ref":"refs/heads/main","pushedAt":"2024-02-22T14:25:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add nyaya","shortMessageHtmlLink":"Add nyaya"}},{"before":"2209759c4cee728a4dc4cdd0f2b67eab32ff77da","after":"e85fa6f351285d651d55fc1155d98373917c63ba","ref":"refs/heads/main","pushedAt":"2024-02-02T22:06:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add coq-of-rust, 'Formal Land', 'Lambda Calculus Parser', raa_tt & type-theory","shortMessageHtmlLink":"Add coq-of-rust, 'Formal Land', 'Lambda Calculus Parser', raa_tt & ty…"}},{"before":"c429029cfec114007a679300b7fa92b8b42c662c","after":"2209759c4cee728a4dc4cdd0f2b67eab32ff77da","ref":"refs/heads/main","pushedAt":"2024-01-22T08:24:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Move theorem-prover-rs in 'TPTP compliant' section","shortMessageHtmlLink":"Move theorem-prover-rs in 'TPTP compliant' section"}},{"before":"0c4bd62b60a3502337787879c0c9ca10bb6586a7","after":"c429029cfec114007a679300b7fa92b8b42c662c","ref":"refs/heads/main","pushedAt":"2024-01-18T09:58:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add theorem-prover","shortMessageHtmlLink":"Add theorem-prover"}},{"before":"609dd0ba25479b49dbb5d21e9c4bc1be9c990e08","after":"0c4bd62b60a3502337787879c0c9ca10bb6586a7","ref":"refs/heads/main","pushedAt":"2024-01-14T14:57:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add isabelle-client","shortMessageHtmlLink":"Add isabelle-client"}},{"before":"c29bf7b69230559c85f848cd9b7d31f3491ce2ba","after":"609dd0ba25479b49dbb5d21e9c4bc1be9c990e08","ref":"refs/heads/main","pushedAt":"2024-01-08T22:20:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add highs","shortMessageHtmlLink":"Add highs"}},{"before":"872b54d3a03a562598e9afedcd21cea66f1f8ce8","after":"c29bf7b69230559c85f848cd9b7d31f3491ce2ba","ref":"refs/heads/main","pushedAt":"2024-01-06T10:04:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"lp_parser_rs & mps","shortMessageHtmlLink":"lp_parser_rs & mps"}},{"before":"30f960dec2010a4a441701a07a7342215caa0aba","after":"872b54d3a03a562598e9afedcd21cea66f1f8ce8","ref":"refs/heads/main","pushedAt":"2023-12-24T16:12:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add Pun Calculus","shortMessageHtmlLink":"Add Pun Calculus"}},{"before":"6e0c589ea4a192673d6d3a8373978c6915531397","after":"30f960dec2010a4a441701a07a7342215caa0aba","ref":"refs/heads/main","pushedAt":"2023-12-10T08:57:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add pblib-rs & smt_sb-rs","shortMessageHtmlLink":"Add pblib-rs & smt_sb-rs"}},{"before":"a9306ee8bf57640d97d8ceabaa44440cb991cdf1","after":"6e0c589ea4a192673d6d3a8373978c6915531397","ref":"refs/heads/main","pushedAt":"2023-11-29T18:26:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"newca12","name":"Olivier ROLAND","path":"/newca12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/543542?s=80&v=4"},"commit":{"message":"Add Carcara","shortMessageHtmlLink":"Add Carcara"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEnnnp5AA","startCursor":null,"endCursor":null}},"title":"Activity · newca12/awesome-rust-formalized-reasoning"}