AlexanderKnueppel/Guido
Ver no GitHub- Estrelas
- 2
- Forks
- 0
- Issues abertas para iniciantes
- 0
- Issues indexadas
- 10
- Linguagem predominante
- Java
- Licença
- Sem dados de licença
- Último push no GitHub
- 19/12/2021
- Última indexação
- 13/9/2026
- Guia de contribuição
- Sem guia de contribuição
- Código de conduta
- Sem código de conduta
- Labels para iniciantes
- Nenhum label para iniciantes indexado
- Métricas de merge de PRs
- Nenhum PR com merge em 30d
-
Refactor Project Abertarefactoring
AlexanderKnueppel/Guido#1 · 0 comentários · 0 reações · 0 responsáveis ·
-
AlexanderKnueppel/Guido#6 · 0 comentários · 0 reações · 0 responsáveis ·
-
AlexanderKnueppel/Guido#7 · 0 comentários · 0 reações · 0 responsáveis ·
-
Create main prover program Aberta
AlexanderKnueppel/Guido#8 · 0 comentários · 0 reações · 0 responsáveis ·
-
Create evaluation plugin Aberta
AlexanderKnueppel/Guido#9 · 0 comentários · 0 reações · 0 responsáveis ·
-
Create tests Aberta
AlexanderKnueppel/Guido#10 · 0 comentários · 0 reações · 0 responsáveis ·
-
Evaluating hypotheses Aberta
AlexanderKnueppel/Guido#12 · 0 comentários · 0 reações · 1 responsável ·
-
How explore new hypotheses? Aberta
AlexanderKnueppel/Guido#13 · 0 comentários · 0 reações · 0 responsáveis ·
-
AlexanderKnueppel/Guido#14 · 0 comentários · 0 reações · 0 responsáveis ·
-
Dynamic VerificationSystems Aberta
AlexanderKnueppel/Guido#15 · 0 comentários · 0 reações · 0 responsáveis ·