Docència
Àlgebra Lineal i Geometria
Recull de qüestions
Recursos
Direcció de treballs
Innovació Docent
Recerca
Publicacions
Conferències
Codi
An Introduction to Lean 4
Taller de Lean 4
Galeria TikZ
Hipotrocoide
Evolució espacial dels virus
Enllaços
Grup d’Investigació
Grup d’Innovació Docent
Seminari Predoc
Congrés Investmat
Zulip
Category Theory
Lean Prover
Galeria TikZ
Camins
Enric Cosme Llópez
May 10, 2022
\(\lambda\)
Enric Cosme Llópez
Mar 5, 2021
Ehuneko
Enric Cosme Llópez
Jan 27, 2020
Distribució
Enric Cosme Llópez
Jun 10, 2019
Parabollic
Enric Cosme Llópez
Jul 21, 2018
\(\mathsf{K}_{4}\)
-free
Enric Cosme Llópez
Apr 1, 2018
Recursive
Enric Cosme Llópez
Mar 10, 2018
Òrbites
Enric Cosme Llópez
Nov 3, 2017
3C coàlgebra
Enric Cosme Llópez
Aug 20, 2017
Wahrheitstabelle
Enric Cosme Llópez
Jun 20, 2017
Coàlgebra final
Enric Cosme Llópez
Mar 14, 2017
Cap element coincident
Torna a dalt
