jad-issa

Student of mathematics and computer science, interested in logic and formalization.

Location:France

Pinned Repositories

jad-issa's Repositories