spearman/formal-logic spearman/formal-logic

  • Stars
    star
    4
  • Rank 3,246,152 (Top 66 %)
  • Language
    TeX
  • Created about 10 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
spearman/formal-logic
github

spearman

Reviews

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

Repository Details

LaTeX Notes on Mathematical Logic

More Repositories

1

enum-unitary

Trait and macro for unitary enums
Rust
16
star
2

macro-machines

State machine macros with logging and graphviz dotfile generation
Rust
10
star
3

range-set

Store collections of PrimInt values as inclusive ranges using generic SmallVec-backed storage
Rust
8
star
4

apis

Reactive, session-oriented, asynchronous process-calculus framework
Rust
3
star
5

simple-bmp

Create and write 32-bit RGBA BMP files
Idris
1
star
6

ibm3270font-nix

Truetype font files for IBM 3270, IBM 3270 Narrow, and IBM 3270 vector fonts
Nix
1
star
7

glium-sdl2-hack

An unsafe backend for SDL + Glium that makes it possible to collect input events on the main thread while rendering on a child thread
Rust
1
star
8

rcmacro

Racket
1
star