njanakiev

import os
import random
from PIL import Image, ImageOps


def concat_images(image_paths, size, shape=None):
    # Open images and resize them
    width, height = size
    images = map(Image.open, image_paths)
    images = [ImageOps.fit(image, size, Image.ANTIALIAS) 

GallagherCommaJack

module Lob where

open import Data.Product
open import Function

_←→_ : Set → Set → Set
A ←→ B = (A → B) × (B → A)

postulate -- provability axioms
  □ : Set → Set