Logic Wiki hosts some content used in some courses taught by members of CAROL.

Moodle hosts some courses taught by members of CAROL.

TryLogic is a tool which teaches logic through the use of the Coq proof assistant.

ProofWeb is another system for teaching logic as well as for using proof assistants through the web.

Logicamente is a virtual learning environment that integrates tools aiming to illustrate fundamental concepts and algorithms from logic, as well as to allow students to conduct interactive practical experiments involving the understanding of those concepts.

Logic@UFRN is an online archive of some lectures delivered at UFRN on topics related to the broad area of logic.