A tutorial implementing fragments of Hegel's Science of Logic in Cubical Agda, following the Lawvere/Schreiber/nLab translation program. The resource offers multiple reading tracks for philosophers, type theorists, and programmers, with chapters building linearly and verified theorems in Agda.
Francis Fukuyama's memoir marks the publication of his work on historical progression. His famous 1989 essay 'The End of History?' drew on Hegelian philosophy to argue that liberal democracy represented humanity's ultimate political form, building on the idea that human societies evolve progressively over time rather than cycling through fixed regimes.