Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

N

NCCoq - Formally Proven Network Calculus
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Releases
- Model registry
- Incidents
- Service Desk

Snippets Groups Projects

2e7d7244

Commit 2e7d7244 authored 3 years ago by Pierre Roux

Downloads
- Patches
- Plain Diff

Change the definition of Fup

The two definitions are proved equivalent, the older one was more
"computational" but this one is closer from the mathematical
definition.

parent 5a6acf3d

Branches

No related tags found

Loading

Changes 3

Hide whitespace changes

Inline Side-by-side

Showing

RminStruct.v 18 additions, 17 deletions

RminStruct.v
minerve/UPP_PA.v 1 addition, 1 deletion

minerve/UPP_PA.v
usual_functions.v 2 additions, 2 deletions

usual_functions.v

with 21 additions and 20 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment