Sprache: Deutsch
Description: Journal Formalized Mathematics - a computer assisted approach
Keywords: Mizar, Formalized, formal mathematics, MML, Mizar Mathematical Library, QED, JFM, FM, Formalized Mathematics, computer-checked mathematics, repository of mathematical knowledge, Roman Matuszewski, Proof Presentation, Proof Transformation, MKM, MKM2004,...
Die Website enthält laut CLOUDFLARE keine bedenklichen Inhalte und kann sowohl von Minderjährigen als auch in der Arbeit genutzt werden.
Apache ist eine freie und quelloffene, plattformübergreifende Webserver-Software.
Ubuntu ist ein freies und quelloffenes Linux-Betriebssystem für Unternehmensserver, Desktops, Cloud und IoT.
IP-Adresse Server:
51.77.58.229