Skip to content

Instantly share code, notes, and snippets.

View boborbt's full-sized avatar

Roberto Esposito boborbt

View GitHub Profile
import tensorflow as tf
from tensorflow.keras.layers import Input
from tensorflow.keras.layers import Dense
from tensorflow.keras.models import Model
import numpy as np
import matplotlib.pyplot as plt
import tensorflow.keras.backend as K
x = Input(shape=[5])
h = Dense(10)(x)
<div class="checkbox checkbox-creative float-left">
<label>
<input type="checkbox" name="sezione[]" value="2">
<span class="checkbox-item">
<span class="check">
</span></span> &nbsp;
</label><label>
<input type="checkbox" name="sezione[]" value="3">
<span class="checkbox-item"><span class="check">
</span></span> &nbsp; </label>
//
// DayCellView.swift
// T-Shifts
//
// Created by Roberto Esposito on 09/02/2017.
// Copyright © 2017 Roberto Esposito. All rights reserved.
//
import Foundation
import JTAppleCalendar
// Example of how to build a propositional logic
// reasoner in swift.
typealias VarIndex = Int
typealias TruthValue = Bool
typealias Env = [VarIndex : TruthValue]
typealias Expr = (Env) -> TruthValue