https://github.com/cfm/draft-mt-ufmrg-teep-sample

A Usable Formal Methods Sample Problem from TEEP
https://github.com/cfm/draft-mt-ufmrg-teep-sample

ietf suit teep ufmrg

Last synced: 6 days ago
JSON representation

A Usable Formal Methods Sample Problem from TEEP

• Host: GitHub
• URL: https://github.com/cfm/draft-mt-ufmrg-teep-sample
• Owner: cfm
• License: other
• Created: 2023-09-18T23:27:17.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2024-05-28T00:19:42.000Z (9 months ago)
• Last Synced: 2024-05-28T09:51:21.024Z (9 months ago)
• Topics: ietf, suit, teep, ufmrg
• Language: Makefile
• Homepage: https://cfm.github.io/draft-mt-ufmrg-teep-sample/
• Size: 136 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE.md
  • Codeowners: .github/CODEOWNERS

Awesome Lists containing this project

README

        
# A Usable Formal Methods Sample Problem from TEEP

This is the working area for the individual Internet-Draft, "A Usable Formal Methods Sample Problem from TEEP".

* [Editor's Copy](https://cfm.github.io/draft-mt-ufmrg-teep-sample/#go.draft-mt-ufmrg-teep-sample.html)

* [Datatracker Page](https://datatracker.ietf.org/doc/draft-mt-ufmrg-teep-sample)

* [Individual Draft](https://datatracker.ietf.org/doc/html/draft-mt-ufmrg-teep-sample)

* [Compare Editor's Copy to Individual Draft](https://cfm.github.io/draft-mt-ufmrg-teep-sample/#go.draft-mt-ufmrg-teep-sample.diff)

## Contributing

See the

[guidelines for contributions](https://github.com/cfm/draft-mt-ufmrg-teep-sample/blob/main/CONTRIBUTING.md).

Contributions can be made by creating pull requests.

The GitHub interface supports creating pull requests using the Edit (✏) button.

## Command Line Usage

Formatted text and HTML versions of the draft can be built using `make`.

```sh

$ make

```

Command line usage requires that you have the necessary software installed.  See

[the instructions](https://github.com/martinthomson/i-d-template/blob/main/doc/SETUP.md).