{"schemaVersion":1,"kind":"project","documentationUrl":"https://decomphub.com/data","project":{"id":"ca6f983e-f73d-4cd2-bb87-2469b07aacb0","slug":"proostlean","revision":2,"name":"ProostLean","description":"An reimplementation of the Proost proof-assistant written in Lean 4","url":"https://app.decomphub.com/projects/proostlean","jsonUrl":"https://app.decomphub.com/data/projects/proostlean.json","markdownUrl":"https://app.decomphub.com/data/projects/proostlean.md","category":"games","workTypes":["source-reconstruction"],"targets":["Unknown"],"status":"unknown","publishedAt":"2026-10-12T07:38:47.621Z","updatedAt":"2026-10-12T07:38:47.618Z","repository":{"url":"https://github.com/proost-assistant/proostlean","host":"github.com","fullPath":"proost-assistant/proostlean","description":"An reimplementation of the Proost proof-assistant written in Lean 4","license":null,"starCount":12,"starsCheckedAt":"2026-10-07T04:31:34.059Z","upstreamArchived":false,"defaultBranch":null,"latestDefaultBranchCommitAt":null,"metadataCheckedAt":"2026-10-07T04:31:34.059Z"},"progress":[],"sources":[{"label":"Public repository metadata","url":"https://github.com/proost-assistant/proostlean"},{"label":"Discovery query","url":"https://api.github.com/search/repositories?q=%22reimplementation%22+in%3Aname%2Cdescription+is%3Apublic+fork%3Afalse+created%3A2022-04-02..2023-06-09&sort=updated&order=desc&per_page=100&page=2"}],"longDescription":"","aliases":[],"originalPlatforms":[],"outputPlatforms":[],"architectures":[],"languages":["Lean"],"tags":[],"links":{"website":null,"documentation":null,"releases":null,"buildInstructions":null,"repositories":[],"community":[],"support":[],"issues":[]},"contribution":{"status":"unknown","helpNeeded":[],"url":null,"sourceUrl":null,"checkedAt":null,"prerequisites":"","environments":[],"aiPolicy":"unspecified","aiPolicySourceUrl":null,"aiPolicyConditions":""},"originalAssetsNote":""}}