Skip to content

Close Menu

Jovan’s Blog
Jovan Stosic’s Publications
Jovan Stosic’s Profile
Jovan Stosic’s Notebooks
Home Automation Server
Мрежни оперативни системи
- Регистрација

RIS

Robust Information Systems

Proof assistant

Learning wishlist
Notes

Jovan Stosic January 28, 2024

https://en.wikipedia.org/wiki/Proof_assistant

Posted in Learning wishlist, Notes

Post navigation

Four color theorem

Cantor’s theorem

Leave a Reply Cancel reply

You must be logged in to post a comment.

Search

Search for:

Category

Category

Meta

Log in
Advanced search

Recent Posts

Belousov–Zhabotinsky reaction
Boris Belousov (chemist)
Ralph Gibson – Photographs 1960–2024
Phil Penman – Street Scenes
An American Index of the Hidden and Unfamiliar – Althea Wasow, Taryn Simon, Salman Rushdie, Elisabeth Sussman

Archives

2026: Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec
2025: Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec
2024: Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec
2023: Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec
2022: Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec
2021: Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec
2020: Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec
2019: Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec
2018: Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec
2017: Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec
2016: Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec
2015: Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec

ris.mk