Le projet atom-dedukti est un éditeur de texte pour Atom dédié à la manipulation et à la vérification de preuves formelles dans le contexte de la déduction. Il permet de gérer des goals et hypothèses, de les lier entre elles et de les visualiser clairement. Il offre également des fonctionnalités de navigation dans les fichiers de déduction à l'aide de raccourcis clavier.