fad/Fad.lean at main · arademaker/fad · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
-- This module serves as the root of the `Fad` library.
-- Import modules here that should be built as part of the library.

import Fad.Basic
import Fad.Chapter0

import Fad.Assignment01
import Fad.Assignment02

import Fad.Chapter1
import Fad.«Chapter1-Ex»

import Fad.Chapter2
import Fad.«Chapter2-Ex»

import Fad.Chapter3
import Fad.«Chapter3-Ex»

import Fad.Chapter4
import Fad.«Chapter4-Ex»

import Fad.Chapter5
import Fad.«Chapter5-Ex»

import Fad.Chapter6

import Fad.Chapter7
import Fad.«Chapter7-Ex»

import Fad.Chapter8
import Fad.«Chapter8-Ex»

import Fad.Chapter9
import Fad.«Chapter9-Ex»

import Fad.Chapter12
import Fad.«Chapter12-Ex»

import Fad.Chapter13