{"id":13992969,"url":"https://github.com/proost-assistant/ProostLean","last_synced_at":"2025-07-22T16:33:14.968Z","repository":{"id":88556153,"uuid":"566399499","full_name":"proost-assistant/ProostLean","owner":"proost-assistant","description":"An reimplementation of the Proost proof-assistant written in Lean 4","archived":false,"fork":false,"pushed_at":"2024-03-03T12:46:58.000Z","size":177,"stargazers_count":10,"open_issues_count":1,"forks_count":0,"subscribers_count":1,"default_branch":"master","last_synced_at":"2024-07-18T14:43:11.158Z","etag":null,"topics":["functional-programming","lean4","programming-language","proof-assistant","type-theory"],"latest_commit_sha":null,"homepage":"","language":"Lean","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/proost-assistant.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null}},"created_at":"2022-11-15T15:40:01.000Z","updated_at":"2024-03-03T16:33:14.000Z","dependencies_parsed_at":"2024-01-18T04:09:54.740Z","dependency_job_id":"128e2bfc-c915-4390-813f-a86d9227459f","html_url":"https://github.com/proost-assistant/ProostLean","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/proost-assistant%2FProostLean","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/proost-assistant%2FProostLean/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/proost-assistant%2FProostLean/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/proost-assistant%2FProostLean/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/proost-assistant","download_url":"https://codeload.github.com/proost-assistant/ProostLean/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":214674809,"owners_count":15768049,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["functional-programming","lean4","programming-language","proof-assistant","type-theory"],"created_at":"2024-08-09T14:02:11.441Z","updated_at":"2024-08-09T14:09:23.507Z","avatar_url":"https://github.com/proost-assistant.png","language":"Lean","funding_links":[],"categories":["Lean"],"sub_categories":[],"readme":"# Proost\n\nA reimplementation of the Proost proof-assistant written in Lean 4\n\nThe goal of this project is mainly to both get more familiar with writing functional code in Lean, as well as allowing me to experiment on features that could then be implemented in Proost.\n\nIn it's objective of being as efficient as possible, Proost's implementation has become quite tedious to work with. Implementing things here first allows me to experiment at a faster pace than on the Rust repo.\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fproost-assistant%2FProostLean","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fproost-assistant%2FProostLean","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fproost-assistant%2FProostLean/lists"}