issues
search
singnet
/
ai-dsl
Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.
MIT License
68
stars
18
forks
source link
Some more work on idris proof search
#77
Closed
ngeiswei
closed
1 year ago