lucaspena

Pinned Repositories

191final_proj
00
agt-proof-of-stake
Language:TeX00
coinduction
Language:Coq2 1 00
coq-verbose
Language:Coq00
dotfiles
00
Evicted
A browser-based simulation game
Language:PHP00
finmap
Finset and finmap library
Language:Coq00
fo-lfp-frames
Language:Python00
foundations-np-qi-artifcat
Artifact for POPL paper Foundations for Natural Proofs and Quantifier Instantiation
Language:SMT00
ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
Language:Haskell00

lucaspena's Repositories

lucaspena/coinduction
Language:Coq2 1 00
lucaspena/191final_proj
00
lucaspena/agt-proof-of-stake
Language:TeX00
lucaspena/coq-verbose
Language:Coq00
lucaspena/dotfiles
00
lucaspena/Evicted
A browser-based simulation game
Language:PHP00
lucaspena/finmap
Finset and finmap library
Language:Coq00
lucaspena/fo-lfp-frames
Language:Python00
lucaspena/foundations-np-qi-artifcat
Artifact for POPL paper Foundations for Natural Proofs and Quantifier Instantiation
Language:SMT00
lucaspena/ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
Language:Haskell00
lucaspena/iele-semantics
Semantics of Virtual Machine for IELE prototype blockchain
Language:Haskell1 0
lucaspena/ironfleet-liveness
Language:TeX1 11
lucaspena/lambdak-coq
Language:Makefile1 0
lucaspena/visitor_counter
Language:PHP1 0