Jérémy Dubut

Homepages 🌐

• http://group-mmm.org/~dubut/

E-Mails 📧

• pj.og.tsia @tubud.ymerej

Entries

2023

Formalizing Results on Directed Sets

by Akihisa Yamada 📧 and Jérémy Dubut 📧

May 24

2019

Complete Non-Orders and Fixed Points

by Akihisa Yamada 🌐 and Jérémy Dubut 🌐

Jun 27