{"id":13748757,"url":"https://github.com/pro465/nnoq","last_synced_at":"2025-05-09T11:31:21.275Z","repository":{"id":179852169,"uuid":"664231359","full_name":"pro465/nnoq","owner":"pro465","description":"not noq","archived":false,"fork":false,"pushed_at":"2023-10-23T11:29:03.000Z","size":97,"stargazers_count":4,"open_issues_count":1,"forks_count":1,"subscribers_count":1,"default_branch":"main","last_synced_at":"2024-05-22T20:31:11.545Z","etag":null,"topics":["proof-checker","proof-checking","proof-language","rust","simple","theorem-prover","theorem-proving"],"latest_commit_sha":null,"homepage":"","language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/pro465.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","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":"2023-07-09T10:23:01.000Z","updated_at":"2023-10-08T14:04:01.000Z","dependencies_parsed_at":null,"dependency_job_id":"a4ed841f-23de-4648-86d3-dfc008552760","html_url":"https://github.com/pro465/nnoq","commit_stats":null,"previous_names":["pro465/nnoq"],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pro465%2Fnnoq","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pro465%2Fnnoq/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pro465%2Fnnoq/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pro465%2Fnnoq/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/pro465","download_url":"https://codeload.github.com/pro465/nnoq/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":253240350,"owners_count":21876593,"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":["proof-checker","proof-checking","proof-language","rust","simple","theorem-prover","theorem-proving"],"created_at":"2024-08-03T07:00:48.886Z","updated_at":"2025-05-09T11:31:20.953Z","avatar_url":"https://github.com/pro465.png","language":"Rust","readme":"# nnoq\nNot [noq](https://github.com/tsoding/Noq). Also not [eqthy](https://github.com/catseye/Eqthy).\n\nThis aims to be a very simple theorem prover (_nay, verifier_) based on functional expression rewriting to educate myself and others about the basics of theorem provers.\n\nIt also has types to ensure the expressions are not nonsensical.\n\nExamples are on the examples directory.\n\nfor instructions on installation and how to prove your theorems in nnoq, see [tutorial](./tutorial.md).\n","funding_links":[],"categories":["Projects"],"sub_categories":["Provers and Solvers"],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpro465%2Fnnoq","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fpro465%2Fnnoq","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpro465%2Fnnoq/lists"}