🎨

Bhargav Kulkarni bhargavkulk

🎨

Ph.D. Student @ University of Utah

bhargavkulk / steps.txt

Created July 5, 2024 15:29

bhargavkulk / ProgramsAndProofs.lean

Last active January 23, 2026 01:59

	namespace NatList

	-- We define the set of NatLists:
	-- 1. nil is a NatList
	-- 2. If head is a Nat and tail is NatList
	-- then head :: tail is a NatList
	inductive NatList: Type
	\| nil: NatList
	\| cons (head : Nat) (tail : NatList) : NatList

bhargavkulk / main.py

Created June 16, 2026 22:17

	import unittest
	from collections.abc import Sequence
	from dataclasses import dataclass

	# TODO: path compression
	# TODO: reverse lookup


	@dataclass
	class Term:

bhargavkulk / lean-mode.el

Created August 12, 2026 18:42

	;;; lean-mode.el --- Minimal Lean 4 mode with eglot and infoview -- lexical-binding: t; --

	;;; Commentary:
	;; Bare minimum Lean 4 support using eglot for LSP and a side window for infoview

	;;; Code:

	(require 'eglot)
	(require 'jsonrpc)