LumaKernel/lean4-cov-recursion

Stars
1
Language Lean
License
Creative Commons ...
Created 11 months ago
Updated 11 months ago

LumaKernel/lean4-cov-recursion

LumaKernel

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

Lean4 proof of course-of-values recursion on Nat

ddc-source-file

Powerful and performant file name completion for ddc.vim.

cf-fast-submit

append the form to submit to codeforces contest problem page.

ddc-tabnine

TabNine Completion for ddc.vim. This source collects candidates from TabNine.

vim-tsdetect

awesome-stars

A curated list of my GitHub stars! Generated by starred

nvim-visual-eof.lua

Visualize existence of EOL at EOF ⏎

tree-sitter-prisma

Tree-sitter parser definition for prisma schema

lib-cpp

ddc-registers-words

Registers Words Completion for ddc.vim

ddc-eval

Vim script eval completion for ddc.vim

LumaKernel

State-of-the-self

vfile-message-daemon

VFile Message Daemon managing LSP Server

ddc-coc-patched

DO NOT USE. NO WARRANTY. NO SUPPORT.

ssher.vim

💻 ssher.vim is interacting remote machines(only linux) through ssh connection

ddc-run

Deno.run() Completion for ddc.vim

lambdalisp

lib-manager

the manager for libraries

coc-patching.nvim

DO NOT USE. NO WARRANTY. NO SUPPORT.

A-eq-B-answers

lean4-arrows-impossibility

reading-tapl-coq

AtJumper

You can jump between beta and legacy in AtCoder with this tool.

tree-sitter-wolfram

MarkdownLightEditor

The editor for Markdown

hello-slow-type

issue_vite-node-cannot-2dist-import

coc-patched.nvim

DO NOT USE. NO WARRANTY. NO SUPPORT.

learn-tapl

cp-rust-template

Rust template and libraries for competitive programming.