comco/msc-nonclassical-logics-seminar-notes
Notes for my lectures on non-classical logics. In Bulgarian.
Public GitHub Catalog
Discovered Oct 6, 2026
comco / proofmi
Fun with Lambda Calculus in Scala
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#33214217GitHub System ID
comcoOrganization / User
PublicVisibility
ActiveCatalog Status
More from comco
comco/Zenburn
Zenburn is a low-contrast color scheme for Vim.
comco/scrappy
tools for structured data processing
comco/eai
sources of materials in formal languages, automata and computability