bridgekat/leansubst bridgekat/leansubst

  • Stars
    star
    1
  • Language Lean
  • License
    Creative Commons ...
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bridgekat/leansubst
github

bridgekat

Reviews

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

Repository Details

An Autosubst-like tool for handling de Bruijn indices.

More Repositories

1

vxrt

Voxel raycasting test.
C++
14
star
2

zenith

Rust
7
star
3

NEXWorld

Yet another Minecraft-one-week-challenge?
C++
5
star
4

filter-game

Lean 4 version of the filter game.
Lean
2
star
5

sdl-opengl

SDL + OpenGL project templates
C++
1
star
6

c-project-extension-group-48

Our extension part for the first year C group project at Imperial College London Department of Computing
Assembly
1
star