AlgebraicJulia / AlgebraicJulia/GATlab.jl

MTK Integration

Aberta
#32 0 comentários 0 reações 0 responsáveis Ver no GitHub
Linguagem predominante
Julia
Estrelas
43
Forks
4
Métricas de merge de PRs
Nenhum PR com merge em 30d

Descrição

We should implement a model for the theory of rings (and family) backed by MTK expressions.

Guia de contribuição

Nenhum guia de contribuição indexado para este repositório

Avaliação

Esta issue ainda não foi avaliada.

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.