right now a repository with text refference for DAPPs related to collaborative work. do you have any recommendations?
Have a look at the Wiki Page: https://github.com/jfferson/worksharing_dapp/wiki
planning to add interfaces for support to software development on the web interface of sigmakee, with integration of sigmakee, semantic and agda and an interface for metaresearch, possibly including the use of some especialized language models; in both cases it is useful to include some code for resolving some terms into proper dictionary names.
A possibility is to use the interface with tptp and general ontology for providing refference between code and fields of knowledge, aside from some reasoning