Finding a characterisation of ‘algorithm’ that matches everyday usage.
Exploring the interaction between logic and game theory, in games played on social networks.
A proof assistant for generating Fitch-style natural deduction proofs.
