gitlab.com / symbolic-dynamics / symbolic-dynamics
So far it's the single all-containing project in the group, but that may change in the future.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/gitlab.com/repositories/symbolic-dynamics%2Fsymbolic-dynamics
Stars: 1
Forks: 0
Open issues: 0
License: None
Language:
Dependencies parsed at: Pending
Created at: over 6 years ago
Updated at: almost 6 years ago
Last synced at: over 2 years ago
Topics: Coq, Symbolic Dynamics, computer science, dynamical systems
Loading...