AI-assistent

Analyser mot ramverket, jämförelse av tänkare med invarianterna, och interaktiv guide genom lagren.

Analysera om ett argument är koherent med ramverkets lager och invarianter.