Cosmetics. (c7859609) · Commits · Micaela Mayero / Numerical Analysis in Coq · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

N

Numerical Analysis in Coq
- Activity
- Members
- Labels
- Issues
  0
- Issue boards
- Milestones
- Wiki
- Environments
- Terraform modules
- Incidents

Snippets Groups Projects

c7859609

Commit c7859609 authored 4 days ago by François Clément

Downloads
- Patches
- Plain Diff

Cosmetics.

parent 8feebf21

No related branches found

Tags LInt_p.1.0

Loading

Changes 8

Hide whitespace changes

Inline Side-by-side

Showing

Algebra/AffineSpace/AffineSpace_aff_map.v 1 addition, 1 deletion

Algebra/AffineSpace/AffineSpace_aff_map.v
Algebra/Finite_dim/Finite_dim_AS_def.v 1 addition, 1 deletion

Algebra/Finite_dim/Finite_dim_AS_def.v
Algebra/Monoid/Monoid_FF.v 4 additions, 4 deletions

Algebra/Monoid/Monoid_FF.v
Algebra/Monoid/Monoid_morphism.v 1 addition, 1 deletion

Algebra/Monoid/Monoid_morphism.v
Algebra/Monoid/Monoid_sum.v 1 addition, 1 deletion

Algebra/Monoid/Monoid_sum.v
Algebra/Monoid/Monomial_order.v 6 additions, 6 deletions

Algebra/Monoid/Monomial_order.v
Algebra/Ring/Ring_sub.v 1 addition, 1 deletion

Algebra/Ring/Ring_sub.v
FEM/poly_LagPd1.v 2 additions, 2 deletions

FEM/poly_LagPd1.v

with 17 additions and 17 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