Este sitio web requiere JavaScript.
Panel de control
Explorar
Ayuda
Iniciar sesión
Isabelle_DOF
/
Isabelle_DOF
Seguir
1
Destacar
0
Fork
Ya ha forkeado Isabelle_DOF
2
Código
Incidencias
1
Pull Requests
Lanzamientos
Wiki
Actividad
Etiquetas
Hitos
Nuevo Pull Request
0 Abierta
10 Cerrada
Etiqueta
Mostrar etiquetas archivadas
Usa
alt
+
clic/enter
para excluir etiquetas
Todas las etiquetas
Sin etiqueta
Milestone
Todos los hitos
Sin hitos
Abrir hitos
Isabelle/DOF 2.0
Hitos cerrados
Isabelle/DOF 1.3
Proyecto
Todos los proyectos
Ningún proyecto
Autor
Todos los autores
Asignada a
Todos los asignados
Sin asignado
adbrucker
chantal.keller
ci
ftuong
idir.aitsadoune
makarius
nemouchi
nicolas.meric
paolo.crisafulli
simon.foster
wolff
Ordenar
Más recientes
Más antiguas
Actualizada recientemente
Actualizada menos recientemente
Más comentadas
Menos comentadas
Fecha de vencimiento más cercana
Fecha de vencimiento más lejana
0 Abierta
10 Cerrada
Abrir
Etiqueta
Limpiar etiquetas
Hito
Sin hito
Abrir hitos
Isabelle/DOF 2.0
Abrir hitos
Isabelle/DOF 1.3
Proyectos
Limpiar proyectos
Asignado a
Limpiar asignados
Sin asignado
adbrucker
chantal.keller
ci
ftuong
idir.aitsadoune
makarius
nemouchi
nicolas.meric
paolo.crisafulli
simon.foster
wolff
idir-remarks
ci/woodpecker/push/build
Pipeline failed
Detalles
ci/woodpecker/pr/build
Pipeline failed
Detalles
#30
por
adbrucker
fusionó
2023-05-15 06:34:50 +00:00
main
idir-remarks
eager-and-lazy-elaboration
ci/woodpecker/pr/build
Pipeline failed
Detalles
#17
por
nicolas.meric
fusionó
2022-03-30 06:48:33 +00:00
main
nicolas.meric
:
eager-and-lazy-elaboration
Add checking of invariants for class instances
#8
por
nicolas.meric
fusionó
2022-01-25 07:50:27 +00:00
master
nicolas.meric
:
check-invariants-first-draft
clean-up-isa-check-functions
#7
por
nicolas.meric
fusionó
2021-12-15 22:25:30 +00:00
master
nicolas.meric
:
clean-up-isa-check-functions
Add the possibility to make request on instances
#6
por
nicolas.meric
fusionó
2021-12-15 22:25:05 +00:00
master
nicolas.meric
:
request-on-instances-first-draft
Fix the record generation in class implementation
#5
por
nicolas.meric
fusionó
2021-12-07 18:51:35 +00:00
master
nicolas.meric
:
fix-record-generation
referential-equivalence-first-draft
#4
por
nicolas.meric
fusionó
2021-11-21 12:43:56 +00:00
master
nicolas.meric
:
referential-equivalence-first-draft
First draft of the value* command implementation
#3
por
nicolas.meric
fusionó
2021-11-21 12:43:46 +00:00
master
nicolas.meric
:
value-star-first-draft
class-term-antiquotation-implementation
#2
por
nicolas.meric
fusionó
2021-07-02 15:39:54 +00:00
master
nicolas.meric
:
class-term-antiquotation-implementation
all changes
#1
por
nicolas.meric
fusionó
2021-07-02 15:33:34 +00:00
master
nicolas.meric
:
eclectic-tutorial-add-todos-fix-typos