Nicolas Méric nicolas.meric

• Joined on Jan 27, 2021

Repositories Public Activity Starred Repositories Following Followers

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 created branch parametric-invariant in nicolas.meric/Isabelle_DOF

1 week ago

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

• 9dc2febc00 Parametric invariant test
• ee647d2822 Update bibliography bbl latex file
• 92b515730d Update myintro invariant
• fb55ed8ded Update Bu email address
• 8b1b7736ee Fix typo
• Compare 10 commits »

1 week ago

nicolas.meric created branch 2022-phd-poster-test in nicolas.meric/Isabelle_DOF

1 week ago

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

• e7660d1176 Test 2022 phd poster generation
• 61f167c29c Made all import paths globally qualified.
• 2833deff90 Harmonizing the various root templates.
• a8424979eb Removed support for oldstyle font commands.
• 15e71fe189 Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
• Compare 10 commits »

1 week ago

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

• ee647d2822 Update bibliography bbl latex file

2 weeks ago

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

• 92b515730d Update myintro invariant

2 weeks ago

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

• fb55ed8ded Update Bu email address

3 weeks ago

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

• 8b1b7736ee Fix typo

3 weeks ago

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

• 7b0d446724 Update bbl file

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

• e69808750c Polish layout and fix typos

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

• 4f5f4996af Fix typos

4 weeks ago

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

• 763c0a515b Fix typos

4 weeks ago

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

• e4e8199e33 Explain disabled invariant in SWIS_E

4 weeks ago

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

• 7618f8b2c4 Update bibliography and bbl file

4 weeks ago

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

• 30fc7a306f Trim mapping definition

4 weeks ago