{"id":17310686,"url":"https://github.com/cfm/draft-mt-ufmrg-teep-sample","last_synced_at":"2026-01-06T20:17:57.602Z","repository":{"id":195657770,"uuid":"693382037","full_name":"cfm/draft-mt-ufmrg-teep-sample","owner":"cfm","description":"A Usable Formal Methods Sample Problem from TEEP","archived":false,"fork":false,"pushed_at":"2024-05-28T00:19:42.000Z","size":139,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"main","last_synced_at":"2024-05-28T09:51:21.024Z","etag":null,"topics":["ietf","suit","teep","ufmrg"],"latest_commit_sha":null,"homepage":"https://cfm.github.io/draft-mt-ufmrg-teep-sample/","language":"Makefile","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/cfm.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE.md","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":".github/CODEOWNERS","security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2023-09-18T23:27:17.000Z","updated_at":"2024-05-30T02:32:35.606Z","dependencies_parsed_at":"2024-05-30T02:32:33.796Z","dependency_job_id":"938e492b-7578-4c53-b8a3-e86c3514d68c","html_url":"https://github.com/cfm/draft-mt-ufmrg-teep-sample","commit_stats":null,"previous_names":["cfm/draft-mt-ufmrg-teep-sample"],"tags_count":2,"template":false,"template_full_name":"martinthomson/internet-draft-template","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cfm%2Fdraft-mt-ufmrg-teep-sample","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cfm%2Fdraft-mt-ufmrg-teep-sample/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cfm%2Fdraft-mt-ufmrg-teep-sample/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cfm%2Fdraft-mt-ufmrg-teep-sample/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/cfm","download_url":"https://codeload.github.com/cfm/draft-mt-ufmrg-teep-sample/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":245757838,"owners_count":20667424,"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":["ietf","suit","teep","ufmrg"],"created_at":"2024-10-15T12:38:10.262Z","updated_at":"2026-01-06T20:17:52.554Z","avatar_url":"https://github.com/cfm.png","language":"Makefile","funding_links":[],"categories":[],"sub_categories":[],"readme":"# A Usable Formal Methods Sample Problem from TEEP\n\nThis is the working area for the individual Internet-Draft, \"A Usable Formal Methods Sample Problem from TEEP\".\n\n* [Editor's Copy](https://cfm.github.io/draft-mt-ufmrg-teep-sample/#go.draft-mt-ufmrg-teep-sample.html)\n* [Datatracker Page](https://datatracker.ietf.org/doc/draft-mt-ufmrg-teep-sample)\n* [Individual Draft](https://datatracker.ietf.org/doc/html/draft-mt-ufmrg-teep-sample)\n* [Compare Editor's Copy to Individual Draft](https://cfm.github.io/draft-mt-ufmrg-teep-sample/#go.draft-mt-ufmrg-teep-sample.diff)\n\n\n## Contributing\n\nSee the\n[guidelines for contributions](https://github.com/cfm/draft-mt-ufmrg-teep-sample/blob/main/CONTRIBUTING.md).\n\nContributions can be made by creating pull requests.\nThe GitHub interface supports creating pull requests using the Edit (✏) button.\n\n\n## Command Line Usage\n\nFormatted text and HTML versions of the draft can be built using `make`.\n\n```sh\n$ make\n```\n\nCommand line usage requires that you have the necessary software installed.  See\n[the instructions](https://github.com/martinthomson/i-d-template/blob/main/doc/SETUP.md).\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcfm%2Fdraft-mt-ufmrg-teep-sample","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fcfm%2Fdraft-mt-ufmrg-teep-sample","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcfm%2Fdraft-mt-ufmrg-teep-sample/lists"}