Skip to content

Instantly share code, notes, and snippets.

@andrade
andrade / FirstTimeUserWithLoop.spthy
Last active October 27, 2021 15:05
Modified version of FirstTimeUser.spthy that loops in rule I_1 when pressing 1 repeatedly
theory FirstTimeUserWithLoop
begin
/* Alice&Bob specification
I knows:k
R knows:k
I -> R: senc(n,k)
@andrade
andrade / atom-vertical-file-tabs.less
Created December 10, 2020 01:18 — forked from jasesmith/atom-vertical-file-tabs.less
For vertically stacked open file tabs, put this in your `./atom/styles.less`
atom-workspace-axis.vertical atom-pane {
flex-direction: row;
.tab-bar:not(:empty) {
box-shadow: inset -1px 0 0 #181a1f;
resize: horizontal;
height: auto;
display: block;
padding-right: 1px;
padding-bottom: 3em;
min-width: 14em;
// ==UserScript==
// @name Wikipedia Shrink
// @version 6
// @namespace https://gist.github.com/Andrade/99062da9ac507c8a4468ff7edbb6c65a
// @grant none
// @exclude http*://www.wikipedia.org/
// @include http*://*.wikipedia.org/*
// @description Adjust content width at Wikipedia.
// ==/UserScript==