Na podstawie artykułu: "System wspomagający dowodzenie twierdzeń" pochodzącego z WikipediiOryginałEdytujHistoria i autorzy