Nicolas Méric nicolas.meric
  • Joined on Jan 27, 2021
Loading Heatmap…

nicolas.meric pushed to main at Isabelle_DOF/Isabelle_DOF

  • c00c6ed31d Fix Terms and Definitons section in CENELEC

6 days ago

nicolas.meric pushed to main at Isabelle_DOF/Isabelle_DOF

  • ae3300ac2c Import of CENELEC_50128.thy changes from /ICFEM-2022

6 days ago

nicolas.meric pushed to parametric-invariant at nicolas.meric/Isabelle_DOF

1 week ago

nicolas.meric pushed to 2022-phd-poster-test at nicolas.meric/Isabelle_DOF

1 week ago

nicolas.meric pushed to ICFEM-2022 at Isabelle_DOF/Isabelle_DOF

2 weeks ago

nicolas.meric pushed to ICFEM-2022 at Isabelle_DOF/Isabelle_DOF

2 weeks ago

nicolas.meric pushed to ICFEM-2022 at Isabelle_DOF/Isabelle_DOF

3 weeks ago

nicolas.meric pushed to ICFEM-2022 at Isabelle_DOF/Isabelle_DOF

3 weeks ago

nicolas.meric pushed to ICFEM-2022 at Isabelle_DOF/Isabelle_DOF

4 weeks ago

nicolas.meric pushed to ICFEM-2022 at Isabelle_DOF/Isabelle_DOF

  • 0cc17a136e Add latex compilation material to use bbl file

4 weeks ago

nicolas.meric pushed to ICFEM-2022 at Isabelle_DOF/Isabelle_DOF

4 weeks ago

nicolas.meric pushed to ICFEM-2022 at Isabelle_DOF/Isabelle_DOF

  • d5b195d873 Captitalize Nouns first letter in figure captions

4 weeks ago

nicolas.meric pushed to ICFEM-2022 at Isabelle_DOF/Isabelle_DOF

  • a5796277fd Add back position in mathematical oriented related works

4 weeks ago

nicolas.meric pushed to ICFEM-2022 at Isabelle_DOF/Isabelle_DOF

4 weeks ago

nicolas.meric pushed to ICFEM-2022 at Isabelle_DOF/Isabelle_DOF

4 weeks ago

nicolas.meric pushed to ICFEM-2022 at Isabelle_DOF/Isabelle_DOF

4 weeks ago

nicolas.meric pushed to ICFEM-2022 at Isabelle_DOF/Isabelle_DOF

4 weeks ago

nicolas.meric pushed to ICFEM-2022 at Isabelle_DOF/Isabelle_DOF

4 weeks ago