multiproof.md

Mentions

• cybics/crystal/rs
• arc
• bel
• bt
• dif
• ren
• seq
• sym
• ten
• research/algorithmic essence of superintelligence
• languages