Skip to content

Instantly share code, notes, and snippets.

View umedaikiti's full-sized avatar

Satoshi Kura umedaikiti

10 followers · 10 following
  • Japan
View GitHub Profile
@Pysis868
Pysis868 / grub.cfg
Last active May 29, 2024 20:27
My own configuration file for GRUB2 to boot various live distributions of Linux-based operating systems, along with some system tools. I tried to include a lot of sample configuration entries, even if I don't currently use them, so it may help others. Exceedingly long blog post: http://tehfishyblog.logdown.com/chips/306146-a-homemade-ultimate-bo…
# Config for GNU GRand Unified Bootloader (GRUB) (2)
# /boot/grub2/grub.cfg
# or
# /boot/grub/grub.cfg
# Mostly only 'legacy' CSM/BIOS boot methods currently.
# Unable to boot loop entries with Secure Boot
# Notes:
# Description:
# This grub.cfg file was created by Lance http://www.pendrivelinux.com
@arthuraa
arthuraa / quadratic.v
Created August 2, 2015 20:03
(* Solutions of a quadratic equation over the algebraic numbers *)
Require Import Ssreflect.ssreflect Ssreflect.ssrfun Ssreflect.ssrbool.
Require Import Ssreflect.ssrnat Ssreflect.eqtype Ssreflect.seq.
Require Import MathComp.ssralg MathComp.ssrnum MathComp.algC MathComp.poly.
Section Quadratic.
Local Open Scope ring_scope.
@qnighy
qnighy / right-associative-intro-pattern.v
Created July 3, 2014 03:07
Lemma foo : forall P Q R S : Prop, P /\ Q /\ R /\ S -> S.
Proof.
intros P Q R S (H0 & H1 & H2 & H3); apply H3.
Qed.
@dupuy
dupuy / README.rst
Last active June 25, 2024 15:05
Common markup for Markdown and reStructuredText

Markdown and reStructuredText

GitHub supports several lightweight markup languages for documentation; the most popular ones (generally, not just at GitHub) are Markdown and reStructuredText. Markdown is sometimes considered easier to use, and is often preferred when the purpose is simply to generate HTML. On the other hand, reStructuredText is more extensible and powerful, with native support (not just embedded HTML) for tables, as well as things like automatic generation of tables of contents.