Skip to content

Instantly share code, notes, and snippets.

View Agnishom's full-sized avatar

Agnishom Chattopadhyay Agnishom

57 followers · 132 following
View GitHub Profile
@Agnishom
Agnishom / Sets.v
Last active April 30, 2024 21:43
Rewriting with Morphisms
Require Export Setoid.
Require Export Relation_Definitions.
Section ASet.
Declare Scope aset_scope.
Delimit Scope aset_scope with aset. (* so that we can write term%aset *)
Open Scope aset_scope.
@Agnishom
Agnishom / complexity.md
Created May 28, 2024 22:22
Temporal Logic Monitoring Complexity
  • Results from [ThatiR05]
    • Algorithm is referred to as resolving the past and deriving the future
      • involves transforming the formula
    • Metric Temporal Logic with both Past and Future
    • Upperbounds
      • MTL + Past + Future
        • Space: $O(m 2^m)$
        • Time: $O(m^3 2^{3m})$ for processing each event
  • $m$ is size of formula + sum of numercal constants
@Agnishom
Agnishom / flake.nix
Created February 3, 2025 09:12
Simple Flake for Coq Environment
{
description = "Attempt to use the flake from the VSCoq repository";
inputs = {
flake-utils.url = "github:numtide/flake-utils";
# Should be kept in sync with PIN_COQ in CI workflow
coq-master = { url = "github:coq/coq/d6dd8a618cbf628a6580c9a42db0cf5f44606bea"; };
coq-master.inputs.nixpkgs.follows = "nixpkgs";
@Agnishom
Agnishom / widget.html
Last active June 27, 2025 05:20
Connectivity Widget
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Interactive Graph Components</title>
<script src="https://cdn.tailwindcss.com"></script>
<style>
/* Custom styles for the body to center the content */
body {
@Agnishom
Agnishom / Merge.lean
Last active May 28, 2026 02:15
MergeSort with Lean
-- This module serves as the root of the `LeanPlayground` library.
-- Import modules here that should be built as part of the library.
import LeanPlayground.Basic
import Mathlib.Tactic.Tauto
import Mathlib.Order.Basic
import Mathlib
import Mathlib.Tactic.Linarith
import Mathlib.Data.List.Perm.Basic
#eval 2 ≤ 3
@Agnishom
Agnishom / install-rathole.sh
Last active September 7, 2026 07:22
Install Rathole
#!/bin/bash
set -euo pipefail
# --- Configuration ---
RATHOLE_VERSION="v0.5.0"
# ---------------------
echo "=== Rathole VPS Installation Script (Dumb Proxy Mode) ==="