Skip to content
View Daniel1854's full-sized avatar
3 followers · 3 following
  • Munich, Germany

Block or report Daniel1854

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. leansat leansat Public

    Forked from leanprover/leansat

    This package provides an interface and foundation for verified SAT reasoning

    Lean

  2. nixpkgs nixpkgs Public

    Forked from NixOS/nixpkgs

    Nix Packages collection

    Nix

  3. octo.nvim octo.nvim Public

    Forked from pwntester/octo.nvim

    Edit and review GitHub issues and pull requests from the comfort of your favorite editor

    Lua