Explore projects

Yalep is a micro language based on Lean for teaching mathematical high-school proofs

Ce projet consiste en la conception d'un clavier virtuel basé sur les panneaux de phonèmes d'Alexandre Do (inspiré des traveaux de Caleb Gattogno), croisé avec la liste des graphies possibles pour chaque phonème (Fidel, C. Gattegno).

https://ithac.elan-numerique.fr/

Ce dépôt contient les schémas TEI (sous la forme d'ODD et d'RNG) pour les différents projets accompagnés par ELAN (UMR Litt&Arts). Voir le site associé : https://elan.gricad-pages.univ-grenoble-alpes.fr/resources-tei/schemas-tei

https://mlarrieu.gricad-pages.univ-grenoble-alpes.fr/open-research-data-monitor

A monitor on open research data produced by Grenoble Alpes University