ps-tuebingen/decomposition-diversity ps-tuebingen/decomposition-diversity

  • Stars
    star
    3
  • Rank 3,950,453 (Top 79 %)
  • Language Coq
  • Created almost 5 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ps-tuebingen/decomposition-diversity
github

ps-tuebingen

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Decomposition diversity with symmetric data and codata

More Repositories

1

gravity

A orbit simulation game, written in the teaching language BSL.
Racket
3
star
2

informatik-1-skript

Skript für die Vorlesung Informatik I an der Universität Tübingen
Racket
1
star