Discover new books on Goodreads

See if your friends have read any of Boro Sitnikovski's books

Boro Sitnikovski

0 ratings | 0 reviews | avg rating:0.0

#30 most followed

Boro Sitnikovski’s Followers (1)

member photo

Boro’s Bookshelves

to-read (0)
currently-reading (0)
read (0)
did-not-finish (0)

Boro’s Friends

Boro hasn't connected with their friends on Goodreads, yet.

Boro Sitnikovski

Goodreads Author

Born

Skopje

Website

https://refl.blog/

Twitter

Member Since

January 2022

Combine Editions
Boro Sitnikovski’s books

Average rating: 4.0 · 14 ratings · 3 reviews · 6 distinct works

	Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 4.40 avg rating — 10 ratings — 5 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language liked it 3.00 avg rating — 2 ratings — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Introducing Software Verification with Dafny Language liked it 3.00 avg rating — 2 ratings — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Introducing Software Verification with Dafny Language: Proving Program Correctness 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	The Mirrors In Us 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

More books by Boro Sitnikovski…

Quotes by Boro Sitnikovski (?)

“A judgmental system intertwined with love and logic is a very powerful tool.”
― Boro Sitnikovski

0 likes

Like

Boro’s Quotes

“A judgmental system intertwined with love and logic is a very powerful tool.”
― Boro Sitnikovski

0 likes

Like

“Be curious. Read widely. Try new things. What people call intelligence just boils down to curiosity.”
― Aaron Swartz

tags: books, curiosity, reading

208 likes

Like

“An obsessive interest in a topic is both a proxy for ability and a substitute for determination.”
― Paul Graham

0 likes

Like

“You can’t go on defending your patterns of reasoning forever, there comes a point where faith takes over.”
― Douglas Hofstadter

1 likes

Like

Boro’s Friend Comments

No comments have been added yet.

post a comment »