Kha/isabelle-zfc Kha/isabelle-zfc

  • Stars
    star
    1
  • Language
    TeX
  • Created about 10 years ago
  • Updated about 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Kha/isabelle-zfc
github

Kha

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Simplistic Formalization of ZFC in Isabelle

More Repositories

1

electrolysis

Simple verification of Rust programs via functional purification in Lean 2(!)
Lean
323
star
2

Bartizan

Mod Framework for TowerFall Ascension
C#
56
star
3

nixprof

A Nix build graph profiler
Python
27
star
4

nale

Nix + Lean = Nale
C++
11
star
5

do-supplement

Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
Lean
10
star
6

macro-supplement

Supplemental material for the "Beyond Notations" paper
Lean
8
star
7

masters-thesis

TeX
7
star
8

HoTT-book-agda

Agda proofs of the HoTT book exercises
Agda
4
star
9

semantics-lean

Lean
3
star
10

aoc-2022

aoc-2022
Lean
3
star
11

aoc-2021

not meant as an instruction manual
Lean
3
star
12

err-sedbot

errbot plugin for executing simple sed substitute commands
Python
2
star
13

i3lock

C
2
star
14

dotfiles

.config/
Nix
2
star
15

nusski-replayer

Ein Replay-Viewer für das April-2011-Turnier der EE in CoffeeScript
JavaScript
2
star
16

syntax

Lean
1
star
17

err-cah

A Cards Against Humanity bot plugin for err-bot
Python
1
star
18

light-cycle

Quick`n`dirty 2 player game for the BlackBerry PlayBook Tablet Offer 2012
CoffeeScript
1
star
19

top-comment-err

errbot plugin that responds to posted links with the respective reddit top comment
Python
1
star
20

etc

/etc files of a Lenovo ThinkPad T430
Shell
1
star
21

nusski-cs-client

Ein C#-Client für das April-2011-Turnier der Entwickler-Ecke
C#
1
star
22

err-babble-bot

Markov chain-based Err plugin for nonsense generation
Python
1
star
23

ca-datastructs

Proseminar about implementing simple data structures in cellular automata
Haskell
1
star
24

Floyd

(Parallel) implementation of Floyd-Steinberg dithering for Programming course 2011
Java
1
star