Traian Florin Șerbănuță's repositories
excel-database
A Wordpress plugin for structuring, displaying, and querying data in an MS Excel spreadsheet table
arl-in-coq
Abstract Rewrite Systems specified in Coq
propositions-as-types
Some scribbling while reading Type Theory and Formal Proofs by Rob Nederpelt and Herman Geuvers
haskell-play
Exploring Haskell
semantics-in-lean
A companion for the Foundations of Programming Languages class @ UNIBUC
aml-in-coq
Applicative Matching Logic in Coq
bucharest-lean-ac
Content for Bucharest Autumn School
covid-declaratie
Generare si semnare automata a declaratiei pe propria raspundere
crl-tool
An implementation of Cartesian Reachability Logic
error-codes-mvn-plugin
Maven Plugin to Keep Error Codes in Sync with the K Framework C-Semantics
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
flp
Fundamentals of Programing Languages
iele-semantics
Semantics of Virtual Machine for IELE prototype blockchain
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
metamath-knife
Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
pandoc-tangle
Simple tangler for Pandoc
semantics-in-coq
A companion for the FLP class @ UNIBUC
sets-in-coq
Some basic set theory implemented in Coq
verified-smart-contracts
Smart contracts which are formally verified
vim-unicoder
unicoder.vim: easy unicode characters in insert mode with abbreviations
wasm-semantics
A Prototype Formal Semantics of WebAssembly in K