Este site requer JavaScript.
Painel
Explorar
Ajuda
Acessar
Isabelle_DOF
/
Isabelle_DOF
Observar
1
Juntar aos favoritos
0
Fork
Você já fez o fork de Isabelle_DOF
2
Código
Issues
1
Pull requests
Versões
Wiki
Atividade
Etiquetas
Marcos
Novo pull request
0 Aberto
10 Fechado
Etiqueta
Show archived labels
Use
alt
+
clique/enter
para excluir etiquetas
Todas as etiquetas
Sem etiqueta
Marco
Todos os marcos
Sem marcos
Marcos abertos
Isabelle/DOF 2.0
Marcos fechados
Isabelle/DOF 1.3
Projeto
Todos os projetos
Sem projeto
Autor
Todos os autores
Atribuído
Todos os responsáveis
Sem responsável
adbrucker
chantal.keller
ci
ftuong
idir.aitsadoune
makarius
nemouchi
nicolas.meric
paolo.crisafulli
simon.foster
wolff
Ordenação
Mais recentes
Mais antigos
Mais recentemente atualizados
Menos recentemente atualizados
Mais comentados
Menos comentados
Data limite mais próxima
Data limite mais distante
0 Aberto
10 Fechado
Abrir
Etiqueta
Limpar etiquetas
Marco
Sem marco
Marcos abertos
Isabelle/DOF 2.0
Marcos abertos
Isabelle/DOF 1.3
Projetos
Limpar projetos
Responsável
Limpar responsáveis
Sem responsável
adbrucker
chantal.keller
ci
ftuong
idir.aitsadoune
makarius
nemouchi
nicolas.meric
paolo.crisafulli
simon.foster
wolff
idir-remarks
ci/woodpecker/push/build
Pipeline failed
Detalhes
ci/woodpecker/pr/build
Pipeline failed
Detalhes
#30
por
adbrucker
foi aplicado em
2023-05-15 06:34:50 +00:00
main
idir-remarks
eager-and-lazy-elaboration
ci/woodpecker/pr/build
Pipeline failed
Detalhes
#17
por
nicolas.meric
foi aplicado em
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
foi aplicado em
2022-01-25 07:50:27 +00:00
master
nicolas.meric
:
check-invariants-first-draft
clean-up-isa-check-functions
#7
por
nicolas.meric
foi aplicado em
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
foi aplicado em
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
foi aplicado em
2021-12-07 18:51:35 +00:00
master
nicolas.meric
:
fix-record-generation
referential-equivalence-first-draft
#4
por
nicolas.meric
foi aplicado em
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
foi aplicado em
2021-11-21 12:43:46 +00:00
master
nicolas.meric
:
value-star-first-draft
class-term-antiquotation-implementation
#2
por
nicolas.meric
foi aplicado em
2021-07-02 15:39:54 +00:00
master
nicolas.meric
:
class-term-antiquotation-implementation
all changes
#1
por
nicolas.meric
foi aplicado em
2021-07-02 15:33:34 +00:00
master
nicolas.meric
:
eclectic-tutorial-add-todos-fix-typos