Activity · Micaela Mayero / Numerical Analysis in Coq · GitLab

Snippets Groups Projects

8 minutes ago

François Clément @clement

pushed to branch master at Micaela Mayero / Numerical Analysis in Coq

a3e3422f · Add nat_sub_r_monot,
... and 1 more commit. Compare 4c24d9b5...a3e3422f

1 hour ago

François Clément @clement

pushed to branch master at Micaela Mayero / Numerical Analysis in Coq

4c24d9b5 · Rm useless.
... and 5 more commits. Compare 24f93fc7...4c24d9b5

14 hours ago

François Clément @clement

pushed to branch master at Micaela Mayero / Numerical Analysis in Coq

24f93fc7 · Go for higher level (constF, mapF).

1 day ago

François Clément @clement

pushed to branch master at Micaela Mayero / Numerical Analysis in Coq

6213914f · Some cleaning of unused stuff.
... and 1 more commit. Compare 44e55dfb...6213914f

1 day ago

François Clément @clement

pushed to branch master at Micaela Mayero / Numerical Analysis in Coq

44e55dfb · Modif node_ref, sub_vtx, sub_node.

2 days ago

François Clément @clement

pushed to branch master at Micaela Mayero / Numerical Analysis in Coq

aeca3cd6 · Rename sub_nodeF -> sub_node_node,

2 days ago

François Clément @clement

pushed to branch master at Micaela Mayero / Numerical Analysis in Coq

bed43959 · WIP: get properties on sub_node from sub_node_ref.

2 days ago

François Clément @clement

pushed to branch master at Micaela Mayero / Numerical Analysis in Coq

5ba16a8b · Merge branch 'master' of depot.lipn.univ-paris13.fr:mayero/coq-num-...
... and 2 more commits. Compare e55434ed...5ba16a8b

3 days ago

Sylvie Boldo @boldo

pushed to branch master at Micaela Mayero / Numerical Analysis in Coq

e55434ed · MAJ html

3 days ago

Sylvie Boldo @boldo

pushed to branch master at Micaela Mayero / Numerical Analysis in Coq

9f6ac320 · Missing lemma inj_ASdki_incr

3 days ago

Sylvie Boldo @boldo

pushed to branch master at Micaela Mayero / Numerical Analysis in Coq

a43b7805 · some proofs of MM and me about grsymlex

3 days ago

François Clément @clement

pushed to branch master at Micaela Mayero / Numerical Analysis in Coq

8221691b · Argument K of kron becomes implicit.

4 days ago

François Clément @clement

pushed to branch master at Micaela Mayero / Numerical Analysis in Coq

6e00266b · Merge branch 'master' of depot.lipn.univ-paris13.fr:mayero/coq-num-...
... and 1 more commit. Compare 5a60a252...6e00266b

4 days ago

Sylvie Boldo @boldo

pushed to branch master at Micaela Mayero / Numerical Analysis in Coq

5a60a252 · Merge branch 'master' of depot.lipn.univ-paris13.fr:mayero/coq-num-...
... and 1 more commit. Compare 82bc96d3...5a60a252

4 days ago

François Clément @clement

pushed to branch master at Micaela Mayero / Numerical Analysis in Coq

82bc96d3 · Factor proofs of face unisolvence.

4 days ago

François Clément @clement

pushed to branch master at Micaela Mayero / Numerical Analysis in Coq

f3e9e012 · Modif Hface_{0,S}_unisolvence.
... and 5 more commits. Compare 8feebf21...f3e9e012

4 days ago

François Clément @clement

pushed to branch master at Micaela Mayero / Numerical Analysis in Coq

8feebf21 · Test PR notation [0..n) for 'I_n.

4 days ago

François Clément @clement

deleted branch baryc at Micaela Mayero / Numerical Analysis in Coq

4 days ago

François Clément @clement

pushed to branch master at Micaela Mayero / Numerical Analysis in Coq

96d482e1 · These are (yet) unused!

4 days ago

François Clément @clement

pushed to branch master at Micaela Mayero / Numerical Analysis in Coq

405eb278 · Modif def filterPF (use funF).
... and 135 more commits. Compare afd71a65...405eb278